我正在尝试从一个类中获取一个对象属性,特别是：我试图了解一个类何时是其他类的一部分(可以在屏幕截图中看到所使用的结构).
我已经尝试在OWLClass对象(对象为“ e”)上使用OWL-api函数getObjectPropertiesInSignature().
//display delle object property
Set<OWLObjectProperty> proprietà = e.getObjectPropertiesInSignature();
System.out.println("Object Property:");
if(proprietà.isEmpty()) {
System.out.println("\tQuesta classe non ha object property");
}
else {
for(OWLObjectProperty prop : proprietà) {
System.out.println("\t"+ prop);
}
}
该代码段的输出是Questa类非ha对象属性,因此该函数返回一个空的Set,但是在这种情况下,它应该返回带有一个对象属性的set：part-Of对象属性.
最佳答案
您要查找的是某个类是否包含在对象属性的域中(类在OWL中没有“具有”对象属性),还是该类是否是限制的子类.仅当类表达式提到属性时,类对象的签名才包含对象属性,例如,如您的示例中的限定基数限制或存在性限制.
为了查看一个类是否具有使用partOf的超类,您可以创建一个表示子类公理右侧的类表达式,并请求其子类.
OWLDataFactory df = ...
OWLClassExpression c = df.getOWLObjectSomeValuesFrom(partOf,car);
NodeSet subClasses = hermit.getSubClasses(c,false);
对于partOf域中的类,您必须查找域表达式的交集的子类：
OWLClassExpression domain = df.getOWLObjectIntersectionOf(ontology.objectPropertyDomainAxioms(partOf));
NodeSet subClassesInDomain = hermit.getSubClasses(domain,false);
