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公理

回答

相關問題