owl api 3.4.10 및 jfact 1.2.1을 사용하여 모든 유형을 얻습니다.

Question

필자는 온톨로지를 만들기 위해 Protege를 사용했습니다. 그것은 두 개의 기본 클래스로 구성됩니다. 그들 각각에는 3 개의 아가씨가 있습니다. 서브 클래스는 특정 객체 및 데이터 속성이있는 클래스입니다. 인스턴스를 만들 때 클래스 개별이지만 해당 데이터 속성을 사용하여 인스턴스를 일부 하위 클래스에 속하게합니다. Protege에서 Hermit을 실행하면 잘 수행됩니다. 내 인스턴스가 클래스 및 하위 클래스에 속한다고합니다. 하지만 Java 및 Owlapi의 Jfact에서 하위 클래스에서 모든 인스턴스를 인쇄하려고하면 인스턴스가 하위 클래스에만 속하지 만 하위 클래스에는 속하지 않습니다. JFact 또는 다른 것입니까?

for (OWLClass c : ont.getClassesInSignature()) { 
      if (c.getIRI().getFragment().equals("Baby")) { 
       NodeSet<OWLClass> subClasses = reasoner.getSubClasses(c, false); 

       for (OWLClass subClass : subClasses.getFlattened()) { 
        System.out.println(subClass.getIRI().getFragment()); 


        NodeSet<OWLNamedIndividual> instances = reasoner.getInstances(subClass, false); 

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

         s += i.getIRI().getFragment() + " "; 
        } 
       } 
       } 
      } 

Answer 1

JFact의 버그처럼 보입니다. 추적기에 버전 및 온톨로지를 추가 할 수 있습니까?

편집 : JFact 1.2.1은 고대이며 버그를 알고 있습니다. 최소 1.2.4로 업데이트하십시오 (3.x 버전의 최신 릴리스 인 OWLAPI 3.5.5).

가능한 경우 OWLAPI 4 (Java 7) 또는 5 (Java 8) 및 JFact의 기본 버전으로 업데이트하는 것이 좋습니다.