通过计数属性推测OWL知识

-1

我有一个Person和City类的本体论。人们旅行到城市，这个旅行在traveledTo对象属性中表示。我想添加一个WorldTraveler类。如果他们旅行到2个或更多的城市，人们就是世界旅行者。我怎样才能在我的本体论中做到这一点？通过计数属性推测OWL知识

@prefix : <http://www.semanticweb.org/chris/ontologies/2017/9/untitled-ontology-64#> . 
@prefix owl: <http://www.w3.org/2002/07/owl#> . 
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . 
@prefix xml: <http://www.w3.org/XML/1998/namespace> . 
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . 
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . 
@base <http://www.semanticweb.org/chris/ontologies/2017/9/untitled-ontology-64> . 

<http://www.semanticweb.org/chris/ontologies/2017/9/untitled-ontology-64> rdf:type owl:Ontology . 

:traveledTo rdf:type owl:ObjectProperty ; 
      rdfs:domain :Person ; 
      rdfs:range :City . 

:City rdf:type owl:Class . 

:Person rdf:type owl:Class . 

:Bob rdf:type owl:NamedIndividual , 
       :Person ; 
    :traveledTo :London , 
       :Ottawa , 
       :Paris . 

:Brussels rdf:type owl:NamedIndividual , 
        :City . 

:London rdf:type owl:NamedIndividual , 
       :City . 

:Ottawa rdf:type owl:NamedIndividual , 
       :City . 

:Paris rdf:type owl:NamedIndividual , 
       :City . 

:Ralph rdf:type owl:NamedIndividual , 
       :Person ; 
     :traveledTo :Rome . 

:Rome rdf:type owl:NamedIndividual , 
       :City . 

:Washington rdf:type owl:NamedIndividual , 
        :City .

我尝试添加下面的类，但它似乎没有工作：

:WorldTraveler rdf:type owl:Class ; 
       owl:equivalentClass [ owl:intersectionOf (:Person 
                  [ rdf:type owl:Restriction ; 
                  owl:onProperty :traveledTo ; 
                  owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger ; 
                  owl:onClass :City 
                  ] 
                 ) ; 
            rdf:type owl:Class 
            ] .

我相信我的推理可能无法推断拉尔夫是开放的，因为没有撤换世界的假设。然而，它应该能够推断出鲍勃是一名世界旅行者，因为他曾前往三个城市。

感谢您的帮助。

克里斯

来源

2017-10-10 Chris

除了开放世界假设（OWA），存在的唯一名称假设（UNA）。 OWL确实使前者（OWA）成为后者（UNA）。

你应该明确地让不同的个人有所不同。

在龟语法，它应该是这样的：

[ rdf:type owl:AllDifferent ; 
    owl:distinctMembers (:Brussels :London :Ottawa :Paris :Rome :Washington) 
] .

来源

2017-10-10 11:43:23

感谢。我不知道UNA。这为我解决了它。 – Chris

通过计数属性推测OWL知识

回答

相关问题