Logic 对'justice'和'some'子句的推理

这是关于对以下本体的

结果

类所做的推断。现在，推理机正在运行，其

目标

被定义为等同于

目标，并且仅由未对其进行分类的需求

实现。当公理被更改为

目标并由某个要求实现时

，尽管从

目标1

到任何其他方面都没有关系，但分类还是完成了。有人能帮忙澄清一下吗`

1.

---

`

在这里多次询问和回答。猫头鹰->也不清楚你所说的“分类完成了”是什么意思-你在说哪一个推理公理？好的。我指的是

only

条款。我在想，如果有一个公理有一个

子句，推理者会认为它是一个封闭的世界，它只会被
归类为
，我不明白。你能根据你的例子阐明你认为会推断出什么吗？顺便说一句，
确切地说
也缺乏OWA，因为对于类表达式
（=1 p.C）
，可能有更多（但未知）与属性的关系
p
<!-- 
///////////////////////////////////////////////////////////////////////////////////////
//
// Object Properties
//
///////////////////////////////////////////////////////////////////////////////////////
 -->




<!-- http://www.semanticweb.org/Test/ontologies/2018/4/untitled-ontology-91#fulfilledBy -->

<owl:ObjectProperty rdf:about="http://www.semanticweb.org/Test/ontologies/2018/4/untitled-ontology-91#fulfilledBy"/>



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




<!-- http://www.semanticweb.org/Test/ontologies/2018/4/untitled-ontology-91#Goal -->

<owl:Class rdf:about="http://www.semanticweb.org/Test/ontologies/2018/4/untitled-ontology-91#Goal"/>



<!-- http://www.semanticweb.org/Test/ontologies/2018/4/untitled-ontology-91#Goal1 -->

<owl:Class rdf:about="http://www.semanticweb.org/Test/ontologies/2018/4/untitled-ontology-91#Goal1">
    <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/Test/ontologies/2018/4/untitled-ontology-91#Goal"/>
    <rdfs:subClassOf>
        <owl:Restriction>
            <owl:onProperty rdf:resource="http://www.semanticweb.org/Test/ontologies/2018/4/untitled-ontology-91#fulfilledBy"/>
            <owl:qualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:qualifiedCardinality>
            <owl:onClass rdf:resource="http://www.semanticweb.org/Test/ontologies/2018/4/untitled-ontology-91#Req1"/>
        </owl:Restriction>
    </rdfs:subClassOf>
</owl:Class>



<!-- http://www.semanticweb.org/Test/ontologies/2018/4/untitled-ontology-91#Req1 -->

<owl:Class rdf:about="http://www.semanticweb.org/Test/ontologies/2018/4/untitled-ontology-91#Req1">
    <rdfs:subClassOf rdf:resource="http://www.semanticweb.org/Test/ontologies/2018/4/untitled-ontology-91#Requirement"/>
</owl:Class>



<!-- http://www.semanticweb.org/Test/ontologies/2018/4/untitled-ontology-91#Requirement -->

<owl:Class rdf:about="http://www.semanticweb.org/Test/ontologies/2018/4/untitled-ontology-91#Requirement"/>



<!-- http://www.semanticweb.org/Test/ontologies/2018/4/untitled-ontology-91#Result -->

<owl:Class rdf:about="http://www.semanticweb.org/Test/ontologies/2018/4/untitled-ontology-91#Result">
    <owl:equivalentClass>
        <owl:Class>
            <owl:intersectionOf rdf:parseType="Collection">
                <rdf:Description rdf:about="http://www.semanticweb.org/Test/ontologies/2018/4/untitled-ontology-91#Goal"/>
                <owl:Restriction>
                    <owl:onProperty rdf:resource="http://www.semanticweb.org/Test/ontologies/2018/4/untitled-ontology-91#fulfilledBy"/>
                    <owl:allValuesFrom rdf:resource="http://www.semanticweb.org/Test/ontologies/2018/4/untitled-ontology-91#Requirement"/>
                </owl:Restriction>
            </owl:intersectionOf>
        </owl:Class>
    </owl:equivalentClass>
</owl:Class>