protege 颗粒推断问题

问题描述

这是我由 protege 5.5.2 创建的示例本体：

    <?xml version="1.0"?>
<rdf:RDF xmlns="http://www.semanticweb.org/amin/ontologies/2021/0/untitled-ontology-33#"
     xml:base="http://www.semanticweb.org/amin/ontologies/2021/0/untitled-ontology-33"
     xmlns:owl="http://www.w3.org/2002/07/owl#"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-Syntax-ns#"
     xmlns:xml="http://www.w3.org/XML/1998/namespace"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
    <owl:Ontology rdf:about="http://www.semanticweb.org/amin/ontologies/2021/0/untitled-ontology-33"/>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Data properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.semanticweb.org/amin/ontologies/2021/0/untitled-ontology-33#prop -->

    <owl:DatatypeProperty rdf:about="http://www.semanticweb.org/amin/ontologies/2021/0/untitled-ontology-33#prop"/>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Classes
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.semanticweb.org/amin/ontologies/2021/0/untitled-ontology-33#sub1 -->

    <owl:Class rdf:about="http://www.semanticweb.org/amin/ontologies/2021/0/untitled-ontology-33#sub1">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://www.semanticweb.org/amin/ontologies/2021/0/untitled-ontology-33#sup"/>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://www.semanticweb.org/amin/ontologies/2021/0/untitled-ontology-33#prop"/>
                        <owl:someValuesFrom>
                            <rdfs:Datatype>
                                <owl:onDatatype rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
                                <owl:withRestrictions rdf:parseType="Collection">
                                    <rdf:Description>
                                        <xsd:minexclusive rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">12</xsd:minexclusive>
                                    </rdf:Description>
                                </owl:withRestrictions>
                            </rdfs:Datatype>
                        </owl:someValuesFrom>
                    </owl:Restriction>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
        <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/amin/ontologies/2021/0/untitled-ontology-33#sup"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/amin/ontologies/2021/0/untitled-ontology-33#sub2 -->

    <owl:Class rdf:about="http://www.semanticweb.org/amin/ontologies/2021/0/untitled-ontology-33#sub2">
        <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/amin/ontologies/2021/0/untitled-ontology-33#sup"/>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.semanticweb.org/amin/ontologies/2021/0/untitled-ontology-33#prop"/>
                <owl:someValuesFrom>
                    <rdfs:Datatype>
                        <owl:onDatatype rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
                        <owl:withRestrictions rdf:parseType="Collection">
                            <rdf:Description>
                                <xsd:minInclusive rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">14</xsd:minInclusive>
                            </rdf:Description>
                            <rdf:Description>
                                <xsd:maxInclusive rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">14</xsd:maxInclusive>
                            </rdf:Description>
                        </owl:withRestrictions>
                    </rdfs:Datatype>
                </owl:someValuesFrom>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/amin/ontologies/2021/0/untitled-ontology-33#sup -->

    <owl:Class rdf:about="http://www.semanticweb.org/amin/ontologies/2021/0/untitled-ontology-33#sup"/>
</rdf:RDF>



<!-- Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi -->

运行 pellet 不会推断 sub2 是 sub1 的子类，但 hermit 会。 >

但是如果将 sub2 公理定义为 sub2 subclassof : prop value 14，那么小球可以推导出 sub2 作为 sub1 的子类。这个本体有什么问题吗？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）