OWLAPI 对象属性链公理
OWLAPI ObjectPropertyChain axioms
我们知道在 Protege 中可以使用角色链创建公理，并且由于 Protege 基于 OWLAPI 应该可以创建它们。
我没有在官方文档中找到示例，所以可以这样做吗？
这里有一个例子：
使用 OWL 语法我们有：
Declaration( ObjectProperty( :isEmployedAt ) )
ObjectPropertyAssertion( :isEmployedAt :Martin :SC )
SubObjectPropertyOf( ObjectPropertyChain( :isEmployedAt :isPartOf ) :isEmployedAt)
那么，OWLAPI 中的等价物是什么？
OWLDataFactory::getOWLSubPropertyChainOfAxiom(java.util.List<? extends OWLObjectPropertyExpression> chain,OWLObjectPropertyExpression superProperty)
我们知道在 Protege 中可以使用角色链创建公理，并且由于 Protege 基于 OWLAPI 应该可以创建它们。 我没有在官方文档中找到示例，所以可以这样做吗？ 这里有一个例子：
使用 OWL 语法我们有：
Declaration( ObjectProperty( :isEmployedAt ) )
ObjectPropertyAssertion( :isEmployedAt :Martin :SC )
SubObjectPropertyOf( ObjectPropertyChain( :isEmployedAt :isPartOf ) :isEmployedAt)
那么，OWLAPI 中的等价物是什么？
OWLDataFactory::getOWLSubPropertyChainOfAxiom(java.util.List<? extends OWLObjectPropertyExpression> chain,OWLObjectPropertyExpression superProperty)