Дизайн онтологии: человек в подклассе не отображается в суперклассе?

Я просто хочу уточнить, почему физическое лицо/член в подклассе не отображается как член в суперклассе?

Например

Human
   Male
   Female

Если у мужчины есть два члена/индивидуума, а именно «Джон» и «Шон», разве они не должны появиться и в суперклассе?

Насколько я понимаю, «Джон» и «Шон» - мужчины и, следовательно, люди.

Или я должен явно указать что-то, чтобы это произошло

Редактировать:

Итак, я только что кое-что проверил, если я использую DL-QUERY для запроса суперкласса, индивидуум действительно появляется для суперкласса…

Это странно. Это ошибка?

Я использую Протеже 5.2.


ontology owl rdf protege protege4
person PoRco1x    schedule 25.10.2014    source источник
comment
Я думаю, что версия Protege - это опечатка. Версия 5 еще не вышла. Это был 4.2?   -  person Ignazio    schedule 25.10.2014
comment
На новой странице загрузки написано 5.0, хотя это бета-версия... может быть это она?? protege.stanford.edu/products.php#desktop-protege   -  person PoRco1x    schedule 25.10.2014
comment
Я думаю, что самая последняя выпущенная бета-версия - это 5.0 beta 15 (Protege проходит через очень долгие периоды бета-тестирования...)   -  person Ignazio    schedule 25.10.2014
comment
Так это бета-версия, которая вызывает эту проблему, или это ожидаемое поведение   -  person PoRco1x    schedule 27.10.2014
comment
Можете ли вы опубликовать скриншот, показывающий, что вы имеете в виду? Насколько я помню, представления по умолчанию в Protege 4.x показывают только то, что явно утверждается до тех пор, пока не будет запущено средство рассуждений, а затем могут быть показаны выводы. То, что x, член Y, является членом суперклассов Y, — это то, для чего нужен рассудок.   -  person Joshua Taylor    schedule 27.10.2014

Ответы (1)


arrow_upward
1
arrow_downward

Это баг в Протеже 5.0b15. В Protege 4.3 и Шон, и Джон отображаются как члены класса Human после запуска Reasoner. Я зарегистрировал баг против Protege 5.0.

person Dmitry Tsarkov    schedule 14.01.2015
comment
Ага, понял это после запуска на другой машине - person PoRco1x; 05.03.2015