Рассуждая над "точно" и "некоторым" предложением

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>

`