Почему суперкласс не включает экземпляры подклассов в Protégé

Question

У меня очень простая иерархия классов, указанная в OWL, с Protégé. Например:

-Person
--Man
--Woman

То есть каждый мужчина - это человек, а каждая женщина - это человек.

Когда я включаю экземпляры "Мужчина" и "Женщина", я ожидаю, что эти экземпляры также будут включены как экземпляры "Персона". Но итоговая классификация не соответствует ожидаемой. Даже когда я управляю мыслителем.

Я использую сову 2 и Protégé 5.0.

Почему человек не включает в себя случаи мужчины и женщины?

Answer 1

Если вы добавите Джоэля в формате rdf: Man, Джоэл будет человеком. Дважды проверьте свое наблюдение, используя вкладку запроса DL, чтобы получить все экземпляры Person (т. Е. Person - это запрос, обязательно отметьте необходимые флажки справа) или добавьте представление на вкладку вашего экземпляра, которое называется выведенным списком членов.

Если все это не работает, попробуйте другой разум (HermiT).