public void getEquivalentClassesForClass(OWLClass owlClass, OWLOntology ont) {
Stack<OWLClassAxiom> axiomStack = new Stack<OWLClassAxiom>();
axiomStack.addAll(ont.getAxioms(owlClass, null));
List<OWLClass> equivList = new ArrayList<OWLClass>();
while(!axiomStack.isEmpty()) {
OWLClassAxiom a = axiomStack.pop();
if (a.isOfType(AxiomType.EQUIVALENT_CLASSES) && a.getClassesInSignature().size() == 3) {
Iterator<OWLClass> iter = a.getClassesInSignature().iterator();
OWLClass equivClass = iter.next();
equivList.add(equivClass);
}
}
}
现在我需要在猫头鹰类即我的代码中的equivClass上定义的所有数据属性。有什么办法可以做到这一点。我还没有在给定的owl类上找到任何api。
最佳答案
据我所知,您不能直接获取在其域中具有特定类的数据属性。
您可以调用ont.getAxioms(AxiomType.DATA_PROPERTY_DOMAIN);
,它将返回本体中所有数据属性的所有域公理,然后您可以通过遍历这组公理来获取域类。
for(OWLDataPropertyDomainAxiom d : set) {
d.getDomain();
}
d.getDomain();
调用将返回公理中的类。然后,您可以检查该类是否与您要搜索的类匹配。