按順序獲取等價類

Question

我需要按照與.owl文件相同的順序獲得OWL類的等價類。

我使用此代碼

for(OWLClassExpression cls: clazz.getEquivalentClasses(ontology)) { 

Set <OWLClass> classes_of_the_Expression =cls.getClassesInSignature(); 
} 

但這個代碼讓他們隨機。

請看下面的例子，我對待。在這裏，dog_owner類是人類和狗類的等效類和交集。通過執行我的java代碼，我得到第一個狗課，然後是人類;並且我需要得到反面這意味着人類然後狗類。因爲我需要精確的等同類的第一類。

<owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/peopleeemodifiée#dog_owner"> 
<owl:equivalentClass> 
    <owl:Class> 
    <owl:intersectionOf rdf:parseType="Collection"> 
     <owl:Class rdf:about="http://owl.man.ac.uk/2005/07/sssw/peopleeemodifiée#person"/> 
     <owl:Restriction> 
     <owl:onProperty> 
      <owl:ObjectProperty rdf:about="http://owl.man.ac.uk/2005/07/sssw/peopleeemodifiée#has_pet"/> 
     </owl:onProperty> 
     <owl:someValuesFrom rdf:resource="http://owl.man.ac.uk/2005/07/sssw/peopleeemodifiée#dog"/> 
     </owl:Restriction> 
    </owl:intersectionOf> 
    </owl:Class> 
</owl:equivalentClass> 
<rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string" 
>dog owner</rdfs:label> 
<rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string" 
></rdfs:comment> 

Answer 1

爲了既兼顧命名類中包括的等價類公理的交集，您可以使用用戶：

OWLEquivalentClassesAxiom ax=null; 
ax.accept(new OWLObjectVisitor() { 
    @Override 
    public void visit(OWLObjectIntersectionOf ce) { 
     ce.operands().filter(x->x.isOWLClass()).forEach(x->{ 
      // this is where x is Person, or any other 
      // named class in the intersection; 
      // anonymous classes are skipped 
     }); 
    } 
}); 

對於OWLAPI 3：

for(OWLClass clazzzz : ontology.getClassesInSignature()) { 
    for(OWLEquivalentClassesAxiom ax: ontology.getEquivalentClassesAxioms(clazzzz)) { 
     OWLObjectVisitorAdapter visitor = new OWLObjectVisitorAdapter() { 
     @Override 
     public void visit(OWLObjectIntersectionOf ce) { 
      for (OWLClassExpression e : ce.getOperands()) { 
       if (!e.isAnonymous()) { 
        // this is where x is Person, or any other 
        // named class in the intersection; 
        // anonymous classes are skipped 
       } 
      } 
     } 
     }; 
     ax.accept(visitor); 
    } 
} 

Answer 2

嘗試org.semanticweb.owlapi.model.OWLNaryBooleanClassExpression＃getOperandsAsList方法或者其流伴侶。

請注意：OWL是RDF。 RDF不支持按設計和定義進行排序。雖然你使用「簽名」方法，但由於這些一般原因，它不應該返回有序的數據（這似乎是它爲什麼被設置）。

但owl的右側部分：intersectionOf是一個rdf：List，它總是有序的，所以應該有東西從n-ary類表達式的正確部分檢索有序信息。用法

代碼示例：

  String s = "<rdf:RDF\n" + 
      " xmlns:rdf=\"http://www.w3.org/1999/02/22-rdf-syntax-ns#\"\n" + 
      " xmlns:dc=\"http://purl.org/dc/elements/1.1/\"\n" + 
      " xmlns:owl=\"http://www.w3.org/2002/07/owl#\"\n" + 
      " xmlns:rdfs=\"http://www.w3.org/2000/01/rdf-schema#\"\n" + 
      " xmlns:xsd=\"http://www.w3.org/2001/XMLSchema#\">\n" + 
      " <owl:Ontology/>\n" + 
      " <owl:Class rdf:about=\"http://owl.man.ac.uk/2005/07/sssw/peopleeemodifiée#dog_owner\">\n" + 
      " <rdfs:comment></rdfs:comment>\n" + 
      " <rdfs:label>dog owner</rdfs:label>\n" + 
      " <owl:equivalentClass>\n" + 
      "  <owl:Class>\n" + 
      "  <owl:intersectionOf rdf:parseType=\"Collection\">\n" + 
      "   <owl:Class rdf:about=\"http://owl.man.ac.uk/2005/07/sssw/peopleeemodifiée#person\"/>\n" + 
      "   <owl:Restriction>\n" + 
      "   <owl:someValuesFrom rdf:resource=\"http://owl.man.ac.uk/2005/07/sssw/peopleeemodifiée#dog\"/>\n" + 
      "   <owl:onProperty>\n" + 
      "    <owl:ObjectProperty rdf:about=\"http://owl.man.ac.uk/2005/07/sssw/peopleeemodifiée#has_pet\"/>\n" + 
      "   </owl:onProperty>\n" + 
      "   </owl:Restriction>\n" + 
      "  </owl:intersectionOf>\n" + 
      "  </owl:Class>\n" + 
      " </owl:equivalentClass>\n" + 
      " </owl:Class>\n" + 
      "</rdf:RDF>"; 

    OWLOntology ontology; 
    try (InputStream in = new ByteArrayInputStream(s.getBytes(StandardCharsets.UTF_8))) { 
     ontology = OntManagers.createONT().loadOntologyFromOntologyDocument(in); 
    } 
    System.out.println("========"); 
    OWLEquivalentClassesAxiom equivalentClassesAxiom = ontology.axioms(AxiomType.EQUIVALENT_CLASSES).findFirst().orElseThrow(IllegalArgumentException::new); 
    OWLObjectIntersectionOf anon = equivalentClassesAxiom.classExpressions() 
      .filter(e -> ClassExpressionType.OBJECT_INTERSECTION_OF.equals(e.getClassExpressionType())) 
      .map(OWLObjectIntersectionOf.class::cast) 
      .findFirst().orElseThrow(IllegalArgumentException::new); 
    System.out.println(anon.getOperandsAsList().get(0)); // <-- always person 
    System.out.println(anon.getOperandsAsList().get(1)); // <-- always anon ObjectSomeValuesFrom 
    System.out.println(OWLObjectSomeValuesFrom.class.cast(anon.getOperandsAsList().get(1)).getFiller()); // <--always dog