我目前正在使用OWL API和Protege,但我遇到了问题,因为Protege允许我执行以下操作:
这是披萨本体。我有个人的Americana,然后添加“ hasBase DeepPanBase”(在WebProtege中称为“关系”,在桌面版本中称为“类型”),其中hasBase是对象属性,而DeepPanBase是类。
问题是在OWL API中,我具有函数getOWLObjectPropertyAssertionAxiom,但它适用于对象属性和两个人。
是否有一种方法可以复制Protege方法并使用类,或者至少有一些静态个体?还是我应该为每种情况另选一个人,就是这样?
Protégé中的“类型”面板引用类和您看到的带有限定符的表达式,对象属性,而类是类表达式(例如,存在性限制或通用限制)。这些表示为类断言或子类断言(取决于主题是个人还是类断言,或者您是为类声明超类)。