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

Question

有没有办法让使用推理器的特定班级的所有人？ 推理因为我想获得该类的所有推断和认定的个体。 我正在使用JFact推理器，我正在尝试循环和if语句。 我想找到班级的人，例如“人”。 但我无法看到这些人。 有关下面的代码的任何想法或有任何方法为此目的？

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()); 
        }
    }
}

编辑：请注意评论，如果您希望看到SWRL推断的个人，您需要使用支持SWRL的推理器，如Pellet或HermiT。 JFact不支持SWRL规则。

Answer 2

试试这个方法。 您可以使用以下方法获取特定班级的所有个人。

 private static void printIndividualsByclass(OWLOntology ontology, String owlClass){
    OWLReasonerFactory reasonerFactory = new PelletReasonerFactory();
    OWLReasoner reasoner = reasonerFactory.createNonBufferingReasoner(ontology);
    for (OWLClass c : ontology.getClassesInSignature()) {
        if (c.getIRI().getShortForm().equals(owlClass)){
            NodeSet<OWLNamedIndividual> instances = reasoner.getInstances(c, false);
            System.out.println("Class : "+ c.getIRI().getShortForm());
            for (OWLNamedIndividual i : instances.getFlattened()) {
                System.out.println(i.getIRI().getShortForm()); 
            }
        }
    }
}