Apache Jena是否支持基于OWL限制的推理？

Question

此处列出的Jena的OWL推理程序的功能似乎暗示Jena支持对限制类的推断。

但是，我没有观察到这是真的。 具体来说，我有一个被检测为特定类的实体，即使它缺少必须具有minCardinality限制的属性。

但是，我不确定我是否做错了什么，我的OWL有点生锈。

我的资料：

<?xml version="1.0"?>
<rdf:RDF xmlns      = "http://www.example.com/people#"
         xml:base   = "http://www.example.com/people#"
         xmlns:owl  = "http://www.w3.org/2002/07/owl#"
         xmlns:rdf  = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
         xmlns:rdfs = "http://www.w3.org/2000/01/rdf-schema#"
         xmlns:xsd  = "http://www.w3.org/2001/XMLSchema#">

    <owl:DatatypeProperty rdf:ID="name">
        <rdfs:domain rdf:resource="#Person"/>
        <rdfs:range rdf:resource="xsd:string"/>
    </owl:DatatypeProperty>

    <owl:DatatypeProperty rdf:ID="age">
        <rdfs:domain rdf:resource="#Person"/>
        <rdfs:range rdf:resource="xsd:nonNegativeInteger"/>
    </owl:DatatypeProperty>

    <owl:Class rdf:ID="Person">
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="#name"/>
                <owl:cardinality rdf:datatype="xsd:nonNegativeInteger">1</owl:cardinality>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="#age"/>
                <owl:cardinality rdf:datatype="xsd:nonNegativeInteger">1</owl:cardinality>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>

    <!-- Is a person, because it's got a name and age -->
    <rdf:Description rdf:about="#john">
        <name>John</name>
        <age rdf:datatype="xsd:nonNegativeInteger">42</age>
    </rdf:Description>

    <!-- Should not be a person, because it's missing an age -->
    <rdf:Description rdf:about="#zeus">
        <name>Zeus</name>
    </rdf:Description>

</rdf:RDF>

我的代码：

 public static void main(String args[]) {
        System.out.println("hello world");

        OntModel model = ModelFactory.createOntologyModel(OntModelSpec.OWL_DL_MEM_RULE_INF);

        model.read("src/main/resources/sample.owl");

        String queryString =
                "PREFIX ppl:  <http://www.example.com/people#>" +
                "PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>" +
                "SELECT ?obj " +
                "WHERE {" +
                "  ?obj rdf:type ppl:Person ." +
                "}";

        Query query = QueryFactory.create(queryString);
        QueryExecution qe = QueryExecutionFactory.create(query, model);
        ResultSet results = qe.execSelect();
        ResultSetFormatter.out(System.out, results, query);
        qe.close();   
    }

输出：

------------
| obj      |
============
| ppl:john |
| ppl:zeus |
------------

我不希望ppl:zeus是Person的实例，因为它不满足年龄的minCardinality限制。

关于我在这里做错的任何建议吗？ 围绕rdfs:domain的推理是否覆盖了有关限制类的推理？

Answer 1

对此的解释实际上是因为我在考虑OWL和RDF推断时犯了一个菜鸟错误。

简单的解释（如注释中指出的那样）是，属性上的rdfs:domain 足以使推断者确定该实体是Person 。 如果实体是name的主题，则它是Person ，QED的实例

但是，这导致了另一个问题。 限制类明确指出，除非具有name和age否则它不是人。 那么，为什么这不是逻辑上的矛盾呢？ 我有一条数据说宙斯是一个Person ，另一条数据说他不是 ，不是吗？

好吧，不。 因为即使我之前已经遇到过很多次，但我还是再次绊倒了Open World推理模型。 也就是说，所有推论都是基于您实际上没有所有事实的假设而发生的，并且即使系统没有明确断言它们是真实的，事情也可能是真实的。

换句话说，仅仅因为我的数据没有明确指出宙斯有age ，并不意味着他没有age 。 其他人可以随时提出自己的年龄。

因此，一般来说， minCardinality约束实际上无法通过开放世界推理来强制执行或检查。

maxCardinality是另一maxCardinality ，在相似情况下确实会导致不一致的本体错误。