通过 OWL API 检索匿名祖先公理
Retrieve Anonymous Ancestor Axioms through OWL API
我需要检索给定 class 的匿名祖先的 SubClassOf 公理。例如：
Class Person is a subclass of 'hasName some Name'.
Class Man is a subclass of Person.
然后我需要能够通过访问匿名提供给 class Man 的公理来检索 class Man 上的 hasName some Name祖先。
现在我显然可以通过递归来做到这一点，但是我想知道是否有另一种方法可以通过 OWL API 访问此信息。在此先感谢您的帮助。
很遗憾，没有 - OWL API 方法要求您遍历所有超级 类，而 OWLReasoner - 它具有检索所有超级 [= 的方法15=] - 不会 return 匿名超级 类，只有命名的。
（它必须 - 检索 /all/ anonymous super 类 是推理者的非终止任务）
我需要检索给定 class 的匿名祖先的 SubClassOf 公理。例如：
Class Person is a subclass of 'hasName some Name'.
Class Man is a subclass of Person.
然后我需要能够通过访问匿名提供给 class Man 的公理来检索 class Man 上的 hasName some Name祖先。
现在我显然可以通过递归来做到这一点，但是我想知道是否有另一种方法可以通过 OWL API 访问此信息。在此先感谢您的帮助。
很遗憾，没有 - OWL API 方法要求您遍历所有超级 类，而 OWLReasoner - 它具有检索所有超级 [= 的方法15=] - 不会 return 匿名超级 类，只有命名的。 （它必须 - 检索 /all/ anonymous super 类 是推理者的非终止任务）