OWLAPI ObjectPropertyChain公理

我们知道在Protege中可以创建具有角色链的公理，并且由于Protege基于OWLAPI，因此应该可以创建它们。我没有在官方文档中找到示例，因此可以这样做吗？一个例子在这里：OWLAPI ObjectPropertyChain公理

随着我们对OWL语法：

Declaration(ObjectProperty(:isEmployedAt)) 

ObjectPropertyAssertion(:isEmployedAt :Martin :SC) 

SubObjectPropertyOf(ObjectPropertyChain(:isEmployedAt :isPartOf) :isEmployedAt)

那么，什么是OWLAPI等价？

来源

2016-11-14 user840718

OWLDataFactory::getOWLSubPropertyChainOfAxiom(java.util.List<? extends OWLObjectPropertyExpression> chain,OWLObjectPropertyExpression superProperty)

见Javadoc

来源

2016-11-15 00:48:41 AKSW

谢谢。还有一种方法可以返回OWLObjectPropertyExpression类型的链吗？ – user840718

你的意思是从公理中得到链吗？如果是的话，它就是'OWLSubPropertyChainOfAxiom :: getPropertyChain'，参见http://owlapi.sourceforge.net/javadoc/org/semanticweb/owlapi/model/OWLSubPropertyChainOfAxiom.html – AKSW

不，我的意思是，在我的情况下，链必须是getOWLObjectSomeValuesFrom（arg1，arg2）的第一个参数。有了这种类型，我收到错误，因为它不兼容。 – user840718

OWLAPI ObjectPropertyChain公理

回答

相关问题