OWLAPI ObjectPropertyChain公理

Question

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

使用OWL语法我们有：

Declaration( ObjectProperty( :isEmployedAt ) )

ObjectPropertyAssertion( :isEmployedAt :Martin :SC )

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

那么，OWLAPI中的等价物是什么？

Answer 1

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

请参阅Javadoc