Protege Инкрементальный вывод и дополнение - PullRequest
Новая
       4

Protege Инкрементальный вывод и дополнение

0 голосов
/ 23 марта 2020

Пожалуйста, у меня есть два вопроса; В1: Я реализовал класс ChildlessPerson в Protege 5.5.0 и определил индивидуума типа person без свойства haschild. Я пытался с Hermet, Pellet, ontop, никто не приходит к выводу, что индивид является ChildlessPerson. 

:ChildlessPerson rdf:type OWL:Class ;
  rdfs:subClassOf [ rdf:type OWL:Class ; OWL:intersectionOf ( :Person
                    [ rdf:type OWL:Class ;
                      OWL:complementOf [ rdf:type OWL:Restriction ;
                                    OWL:onProperty :hasChild ; OWL:someValuesFrom OWL:Thing]
                                                                                                                                                                                                                                                                    ] ) ] .

Q2: В онтологии у меня есть родительский подклассOf Person и Father подклассOf Parent. Я определил индивида typefather, из него следует, что это родитель, но тот факт, что это человек, не выводится. Я проверил также с добавлением гранул. Почему?

: Отец rdf: тип OWL: Class; rdfs: subClassOf: Parent; СОВА: дизъюнктив с матерью. : Мать rdf: тип OWL: Класс; rdfs: subClassOf: Parent. : Родительский rdf: тип OWL: класс; rdfs: subClassOf: Person. : Персона: rdf: тип OWL: класс; rdfs: комментарий «Представляет множество всех людей».

Заранее спасибо.

...