对'exact`和`some`子句的推理

Question

这是关于下面本体论Result课程的推断。现在，推理器正在运行，Goal被定义为等同于Goal and fulfilledBy only Requirement，但不对其进行分类。当公理改为Goal and fulfilledBy some Requirement时，虽然没有Goal1与其他任何关系，但分类已完成。有人可以帮忙澄清一下吗？ `     

<!-- 
///////////////////////////////////////////////////////////////////////////////////////
//
// 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>

`