сова закрывает мир с OneOf - PullRequest
Новая
       62

сова закрывает мир с OneOf

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

В следующей онтологии я пытаюсь сделать Boy дополнением к Girl, используя OneOf, но с помощью Fact ++ или Hermit. Я не могу получить ни одного экземпляра, запрашивая Boy (запрос Protege 5.2 DL), есть предложения? 

:Bob rdf:type owl:NamedIndividual ,
              :Person .


:Mike rdf:type owl:NamedIndividual ,
               owl:Thing .


:Sarah rdf:type owl:NamedIndividual ,
                :Girl.

:Person rdf:type owl:Class ;
        owl:equivalentClass [ rdf:type owl:Class ;
                              owl:oneOf ( :Bob
                                          :Mike
                                          :Sarah
                                        )
                            ] .

:Girl rdf:type owl:Class ;
      owl:equivalentClass [ rdf:type owl:Class ;
                            owl:oneOf ( :Sarah
                                      )
                          ] ;
      rdfs:subClassOf :Person .

:Boy rdf:type owl:Class ;
     owl:equivalentClass [ owl:intersectionOf ( :Person
                                                [ rdf:type owl:Class ;
                                                  owl:complementOf :Girl
                                                ]
                                              ) ;
                           rdf:type owl:Class
                         ] ;
     rdfs:subClassOf :Person ;
     owl:disjointWith :Girl .

1 Ответ

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

Добавление аксиомы о том, что все люди различны, решает проблему, как предложил Станислав: 

[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( :Bob
                        :Mike
                        :Sarah
                      )
] .

См. https://en.wikipedia.org/wiki/Unique_name_assumption

...