我有一个关于Person和Animal_Lover类的本体。如果宠物超过2只,则它们是Animal_Lover。我该如何在本体中做到这一点?
<?xml version="1.0"?>
<rdf:RDF xmlns="http://www.example.com/test"
xml:base="http://www.example.com/test"
xmlns:test="http://www.example.com/test#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:xml="http://www.w3.org/XML/1998/namespace"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
<owl:Ontology rdf:about="http://www.example.com/test"/>
<owl:ObjectProperty rdf:about="http://www.example.com/test#hasPet"/>
<owl:Class rdf:about="http://www.example.com/test#Animal_Lover">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.example.com/test#hasOwner"/>
<owl:minQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">2</owl:minQualifiedCardinality>
<owl:onClass rdf:resource="http://www.example.com/test#Mammal"/>
</owl:Restriction>
</owl:equivalentClass>
<rdfs:subClassOf rdf:resource="http://www.example.com/test#Person"/>
</owl:Class>
<!-- http://www.example.com/test#Mammal -->
<owl:Class rdf:about="http://www.example.com/test#Mammal"/>
<!-- http://www.example.com/test#Person -->
<owl:Class rdf:about="http://www.example.com/test#Person">
<rdfs:subClassOf rdf:resource="http://www.example.com/test#Mammal"/>
</owl:Class>
<!-- http://www.example.com/test#Smith -->
<owl:NamedIndividual rdf:about="http://www.example.com/test#Smith">
<rdf:type rdf:resource="http://www.example.com/test#Person"/>
<test:hasPet rdf:resource="http://www.example.com/test#Lulu"/>
<test:hasPet rdf:resource="http://www.example.com/test#Nala"/>
<test:hasPet rdf:resource="http://www.example.com/test#Tank"/>
</owl:NamedIndividual>
</rdf:RDF>
我希望推断史密斯,成为Animal_Lover。 但是此代码在owl(或GraphDB)中不起作用。 有什么问题吗?
感谢您的帮助。
答案 0 :(得分:1)
存在三个问题:
hasOnwer
属性时,才能进行推断。您正在使用hasPet
。