我们知道在 Protege 中可以创建带有角色链的公理,并且由于 Protege 基于 OWLAPI 应该可以创建它们。我没有在官方文档中找到示例,所以可以做到吗?这里的一个例子:
使用 OWL 语法,我们有:
Declaration( ObjectProperty( :isEmployedAt ) )
ObjectPropertyAssertion( :isEmployedAt :Martin :SC )
SubObjectPropertyOf( ObjectPropertyChain( :isEmployedAt :isPartOf ) :isEmployedAt)
那么,OWLAPI 中的等价物是什么?