通过OWL API检索Anonymous Ancestor Axioms

Question

我需要检索给定类的匿名祖先的SubClassOf公理。例如：

 Class Person is a subclass of 'hasName some Name'.
 Class Man is a subclass of Person.

然后我需要能够通过访问由匿名祖先提供给类hasName some Name的公理，在类Man上检索Man。

现在我显然可以通过递归来实现，但是我想知道是否有其他方法可以通过OWL API来访问此信息。在此先感谢您的帮助。

Answer 1

不幸的是没有--OWL API方法要求你遍历所有超类，OWLReasoner - 它有方法来检索所有超类 - 不会返回匿名超类，只返回命名的超类。 （它必须 - 检索/所有/匿名超级类是推理者的非终止任务）