使用OWLAPi和JFact推理器获取特定类的所有个体

Question

for (OWLClass c : myPizza.getClassesInSignature()) {
        NodeSet<OWLNamedIndividual> instances = reasoner.getInstances(c, true);
        System.out.println(c.getIRI().getFragment());
        if (c.getIRI().getFragment().equals("Person")){

            for (OWLNamedIndividual i : instances.getFlattened()) {
                System.out.println(i.getIRI().getFragment()); 

        }
    }
        else {
            continue;
        }
        break;

    }

Answer 1

调用Reasoner.GetInstances(c,true）；将只给出c；如果您所关注的个体是c的子类的实例，那么它们将被跳过。切换到Reasoner.GetInstances(c,false）；以包含子类的实例。

您还将在第一次迭代后调用break；。如果Person不是签名中的第一个类，则永远不会查找Person的实例。

您可以稍微更改代码,以减少推理工作：

for (OWLClass c : myPizza.getClassesInSignature()) {
    if (c.getIRI().getFragment().equals("Person")){
        NodeSet<OWLNamedIndividual> instances = reasoner.getInstances(c, false);
        System.out.println(c.getIRI().getFragment());
        for (OWLNamedIndividual i : instances.getFlattened()) {
            System.out.println(i.getIRI().getFragment()); 
        }
    }
}