Онтология: Предполагаемый суперкласс индивидуального

Question

Я использую Protege 4.3 (также попробовала 5-беты) с помощью следующей простой онтологии:

Class: Person 


Class: Man 

    SubClassOf: 
     Person 


Individual: John 

    Types: 
     Man 

Далее я начинаю Reasoner Отшельника 1.3.8, но Джон не является предполагалось быть Человеком. Также следующий SPARQL ничего не возвращает:

PREFIX this: <http://www.semanticweb.org/ontologies/2015/6/untitled-ontology-18#> 

SELECT ?subject 
    WHERE { ?subject a this:Person } 

У вас есть предложения, что я понял неправильно?

Answer 1

Что касается «недостающего» умозаключения подкласса Man в суперкласс Людей:

Заглянувшие не показывают особей подкласс в их суперклассе, даже когда рассуждающий активен. Однако вывод работает, как вы уже видели. Следующие два примера возвращают Джон как личность класса Человек:

SPARQL + Reasoner (SNAP SPARQL плагин 4.2.0 + Отшельник 1.3.8.413)

PREFIX this: <urn:absolute:test#> 

SELECT ?subject 
    WHERE { ?subject a this:Person } 

DL-запросов + Reasoner (DL-запросов 4.0.1 + отшельник 1.3.8.413)

Person 

Другой способ сделать это очевидным является экспорт онтологию со всеми предполагаемыми аксиом («Файл» -> «экспорт выводимые аксиомы как ontolog у ... "). В результате онтология содержит два утверждения класса для John, один как Человек и один как Лицо.

Я предполагаю, что это поведение позволяет использовать GUI при работе с более крупными онтологиями, которые могут содержать много людей. Что касается Protégé 5.1.0, похоже, нет никакого способа изменить это поведение.