Question

我创建了这个本体，它包含两个类Car，Person和对象属性hasCar，其中Person为域，Car为范围。

我想在multiCarOwner和OnlyCar中对个人（人）进行分类，这里是代表这个的本体：

<?xml version="1.0"?>


<!DOCTYPE rdf:RDF [
<!ENTITY owl "http://www.w3.org/2002/07/owl#" >
<!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
<!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
<!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
]>


<rdf:RDF xmlns="http://www.owl-ontologies.com/Car.owl#"
 xml:base="http://www.owl-ontologies.com/Car.owl"
 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
 xmlns:owl="http://www.w3.org/2002/07/owl#"
 xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
 xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
<owl:Ontology rdf:about="http://www.owl-ontologies.com/Car.owl"/>



<!-- 
   ///////////////////////////////////////////////////////////////////////////////////////
//
// Object Properties
//
///////////////////////////////////////////////////////////////////////////////////////
 -->




<!-- http://www.owl-ontologies.com/Car.owl#hasCar -->

<owl:ObjectProperty rdf:about="http://www.owl-  ontologies.com/Car.owl#hasCar">
    <rdfs:range rdf:resource="http://www.owl-ontologies.com/Car.owl#Car"/>
    <rdfs:domain rdf:resource="http://www.owl-ontologies.com/Car.owl#Person"/>
</owl:ObjectProperty>



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




<!-- http://www.owl-ontologies.com/Car.owl#Car -->

<owl:Class rdf:about="http://www.owl-ontologies.com/Car.owl#Car"/>



<!-- http://www.owl-ontologies.com/Car.owl#CarOwner -->

<owl:Class rdf:about="http://www.owl-ontologies.com/Car.owl#CarOwner">
    <owl:equivalentClass>
        <owl:Class>
            <owl:intersectionOf rdf:parseType="Collection">
                <rdf:Description rdf:about="http://www.owl-ontologies.com/Car.owl#Person"/>
                <owl:Restriction>
                    <owl:onProperty rdf:resource="http://www.owl-ontologies.com/Car.owl#hasCar"/>
                    <owl:allValuesFrom rdf:resource="http://www.owl-ontologies.com/Car.owl#Car"/>
                </owl:Restriction>
                <owl:Restriction>
                    <owl:onProperty rdf:resource="http://www.owl-ontologies.com/Car.owl#hasCar"/>
                    <owl:minCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:minCardinality>
                </owl:Restriction>
            </owl:intersectionOf>
        </owl:Class>
    </owl:equivalentClass>
</owl:Class>



<!-- http://www.owl-ontologies.com/Car.owl#MultiCarOwner -->

<owl:Class rdf:about="http://www.owl-ontologies.com/Car.owl#MultiCarOwner">
    <owl:equivalentClass>
        <owl:Class>
            <owl:intersectionOf rdf:parseType="Collection">
                <rdf:Description rdf:about="http://www.owl-ontologies.com/Car.owl#CarOwner"/>
                <owl:Restriction>
                    <owl:onProperty rdf:resource="http://www.owl-ontologies.com/Car.owl#hasCar"/>
                    <owl:minCardinality rdf:datatype="&xsd;nonNegativeInteger">2</owl:minCardinality>
                </owl:Restriction>
            </owl:intersectionOf>
        </owl:Class>
    </owl:equivalentClass>
</owl:Class>



<!-- http://www.owl-ontologies.com/Car.owl#OnlyCar -->

<owl:Class rdf:about="http://www.owl-ontologies.com/Car.owl#OnlyCar">
    <owl:equivalentClass>
        <owl:Class>
            <owl:intersectionOf rdf:parseType="Collection">
                <rdf:Description rdf:about="http://www.owl-ontologies.com/Car.owl#CarOwner"/>
                <owl:Restriction>
                    <owl:onProperty rdf:resource="http://www.owl-ontologies.com/Car.owl#hasCar"/>
                    <owl:onClass rdf:resource="http://www.owl-ontologies.com/Car.owl#Car"/>
                    <owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
                </owl:Restriction>
            </owl:intersectionOf>
        </owl:Class>
    </owl:equivalentClass>
    <rdfs:subClassOf>
        <owl:Restriction>
            <owl:onProperty rdf:resource="http://www.owl-ontologies.com/Car.owl#hasCar"/>
            <owl:onClass rdf:resource="http://www.owl-ontologies.com/Car.owl#Car"/>
            <owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
        </owl:Restriction>
    </rdfs:subClassOf>
</owl:Class>



<!-- http://www.owl-ontologies.com/Car.owl#Person -->

<owl:Class rdf:about="http://www.owl-ontologies.com/Car.owl#Person"/>



<!-- 
///////////////////////////////////////////////////////////////////////////////////////
//
// Individuals
//
///////////////////////////////////////////////////////////////////////////////////////
 -->




<!-- http://www.owl-ontologies.com/Car.owl#Alice -->

<owl:NamedIndividual rdf:about="http://www.owl-ontologies.com/Car.owl#Alice">
    <rdf:type rdf:resource="http://www.owl-ontologies.com/Car.owl#Person"/>
    <hasCar rdf:resource="http://www.owl-ontologies.com/Car.owl#Car_2"/>
    <hasCar rdf:resource="http://www.owl-ontologies.com/Car.owl#Car_7"/>
</owl:NamedIndividual>



<!-- http://www.owl-ontologies.com/Car.owl#Bob -->

<owl:NamedIndividual rdf:about="http://www.owl-ontologies.com/Car.owl#Bob">
    <rdf:type rdf:resource="http://www.owl-ontologies.com/Car.owl#Person"/>
    <hasCar rdf:resource="http://www.owl-ontologies.com/Car.owl#Car_2"/>
</owl:NamedIndividual>



<!-- http://www.owl-ontologies.com/Car.owl#Car_2 -->

<owl:NamedIndividual rdf:about="http://www.owl-ontologies.com/Car.owl#Car_2">
    <rdf:type rdf:resource="http://www.owl-ontologies.com/Car.owl#Car"/>
</owl:NamedIndividual>



<!-- http://www.owl-ontologies.com/Car.owl#Car_7 -->

<owl:NamedIndividual rdf:about="http://www.owl-ontologies.com/Car.owl#Car_7">
    <rdf:type rdf:resource="http://www.owl-ontologies.com/Car.owl#Car"/>
</owl:NamedIndividual>



<!-- 
///////////////////////////////////////////////////////////////////////////////////////
//
// General axioms
//
///////////////////////////////////////////////////////////////////////////////////////
 -->

<rdf:Description>
    <rdf:type rdf:resource="&owl;AllDifferent"/>
    <owl:distinctMembers rdf:parseType="Collection">
        <rdf:Description rdf:about="http://www.owl-ontologies.com/Car.owl#Car_2"/>
        <rdf:Description rdf:about="http://www.owl-ontologies.com/Car.owl#Car_7"/>
    </owl:distinctMembers>
</rdf:Description>

然而，当我创造个体时，推理者并没有给我我想要的结果，我希望“OnlyCar”类具有成员：“只有1辆汽车的人”。

推理的结果是部分的，因为，在protegé中的个人标签显示如下：

上面的图片将“Bob”个人显示为CarOwner成员，但我希望“bob”成为“onlyCar”类的成员。

- 我正面临OWA问题？ - 有办法实现我想要的吗？

Answer 1

上面的图片显示了＆＃34; Bob＆＃34;个人作为CarOwner会员，但我想要那个＆＃34; bob＆＃34;作为＆＃34; onlyCar＆＃34;的成员类。 - 我正面临OWA问题？ - 有办法实现我想要的吗？

你已经说过bob拥有一辆汽车，但你还没有告诉他说bob 并不拥有任何其他汽车。没有说，你不能确定他只拥有一辆车。您需要为bob添加另一个类型断言，即：

仅限汽车{Car_2}

然后，既然你知道他拥有 Car_2 并且你知道他只拥有 Car_2 ，那么你就能够推断bob是
的一个元素

hasCar恰好是1辆车

如何根据基数对班级中的个人进行分类

1 个答案: