Рассуждая над «точно» и «некоторым» предложением - PullRequest
Новая
       86

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

0 голосов
/ 30 мая 2018

Это касается вывода, сделанного для класса 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>

`

...