使用OWL推理器推断域/范围

Question

如何用推理器推断给定数据/对象属性的OWL域/范围？

例如，我有两个类rat、bird和一个数据属性hasname。我希望这些类是hasname的唯一域：

<Declaration><Class IRI="#Rat"/></Declaration>
<Declaration><Class IRI="#Bird"/></Declaration>
<Declaration><DataProperty IRI="#hasName"/></Declaration>
<DataPropertyDomain>
    <DataProperty IRI="#hasName"/>
    <ObjectUnionOf>
        <Class IRI="#Rat"/>
        <Class IRI="#Bird"/>
    </ObjectUnionOf>
</DataPropertyDomain>

当我使用HermiT reasoner推断域时，我得到了owl:thing类，而不是rat或bird:

Set<OWLClass> inferedDomains = hermitReasoner
                            .getDataPropertyDomains(hasNameProperty, false)
                            .getFlattened();

我可以通过使用owl-api读取HasName的DataPropertyDomainAxioms来手动提取域，从而获得Rat和Bird类。但是我将无法获得其他可推断的类（例如，rat有一个等效的类mouse)。

所以我想用推理机来推断结果，比如：

• 推理器：隐士、fact++、...
• SQWRL规则引擎：Drools,...

有没有办法达到这样的效果？

Answer 1

您定义为domain的类是一个匿名类（两个命名类的联合），因此owlreasoner的实现不能返回它。

要解决这个限制，您可以搜索属性的断言域的子类--因此，使用OWLontology::GetDataPropertyDomainAxioms(OWLDataProperty)您将从根本体检索联合；通过owlReasoner::GetSubclasses(OWLClassExpression，false)，您将能够检索包含析取子类的所有节点。每个节点将包含一组等价类；在您的示例中，我希望看到一个节点包含{Rat,Mouse}和一个节点包含{Bird}。

编辑：添加了回答评论的示例。

OWLOntology o = ... //root ontology for the reasoner
OWLReasoner r = ...
OWLDataProperty p = ...
for (OWLDataPropertyDomainAxiom ax: o.getDataPropertyDomainAxioms(p)) {
    OWLClassExpression c = ax.getDomain();
    NodeSet<OWLClass> allSubClasses = r.getSubClasses(c, false);
    // allSubClasses contains all named subclasses of the domain
}

正如@AKSW在评论中建议的那样，owlReasoner之所以不在其任何方法中返回匿名表达式，是因为这些方法中的匿名表达式是无限的：例如，给定任何类，该类的匿名子类都是无限的。证明太长，不能在这里复制，但可以很容易地在描述、逻辑、文章和书籍中找到。

因此，在设计owlreasoner时，选择是使推理不完整（通过只返回或多或少任意的匿名表达式集）、不可判定（通过返回无限集）或仅将其限制为命名类。后者被认为是最好的解决办法。