java - 通过 OWL-API 获取所有 OWLAnonymousClassExpressions

Question

使用 OWLAPI 版本 3.5.0。

是否可以获取本体中的所有 OWLAnonymousClassExpressions？或者甚至是属于单个 OWLClass 的 OWLAnonymousClassExpressions？

Answer 1

您可以通过调用 getSubClassAxiomsForSubClass 从 OWLOntology 对象获取指定类的直接断言父类(super class)。方法。

这将返回具有两种父类(super class)的公理 - 匿名和西方，呃，我的意思是命名。如果迭代结果，则可以使用 isAnonymous 方法选择匿名类表达式。如果您需要间接父类(super class)，您可以递归地获取任何命名类的子类公理。

根据您的要求，您可能还需要检查等效类公理，因为公理中的每个等效类表达式都是所有其他公理的父类(super class)。这些可以使用 getEquivalentClassesAxioms 检索方法。

如果您确实遵循父链接或展开等效项，则可能需要跟踪已处理的命名类，以防出现循环。

如果您想要包含推断的父类(super class)以及直接断言的父类(super class)，您可以创建一个推理器并使用它来查找所选类的命名父类(super class)。然后，您可以通过如上所述获取子类公理来检索匿名父类(super class)。

让我知道这是否有意义，或者示例代码是否有用。

编辑:OWLClassExpressionCollector 也很有用，因为它从任何 OWLObject 收集所有类表达式:本体、公理或表达式。