Как получить индивидуальные результаты, разгадывая загадку Эйнштейна с OWL в Protégé?

Я хотел бы лучше понять онтологии и рассуждения. В сети есть интересная загадка, называемая загадкой Эйнштейна, которую можно решить с помощью онтологий и рассуждений. Я загрузил онтологию OWL с этого сайта и импортировал ее в Protege 4.0.2 (не работает с 4.1). Я могу запустить рассуждение с помощью Reasoner → FaCT ++, Reasoner → Classify…, но я не знаю, как визуализировать отдельные результаты. Как я могу это сделать?

Источник

2 ответа

Решение

Есть два способа визуализации результатов. Во-первых, когда вы выберете вкладку "Классы", вы увидите, что вам доступны два представления: представление "Иерархия классов", которое является утвержденной таксономией, и "Представление иерархии классов (выведенное)", которое, как название предполагает, предполагаемый. Это дает вам взгляды класса. Как предлагает Kaarel, вы можете визуализировать рассуждения людей на вкладке "Люди".

Protege также позволяет добавлять в интерфейс несколько других представлений отдельных лиц: создайте новую пустую вкладку и затем выберите представление из подменю "Представление отдельных лиц" в меню "Представления". Наконец, вы можете использовать ряд внешних графических инструментов для визуализации: если вы утверждаете выведенную иерархию и сохраняете ее в файл (в RDF-XML), вы можете использовать такие инструменты, как Welkin, IsaViz и т. Д., Чтобы получить графическое представление,

Источник

После того, как мыслитель закончил, идите Individuals-tab и искать аксиомы, которые имеют желтый фон. Эти аксиомы влекут за собой Если компоненты головоломки (то есть люди, домашние животные, напитки и т. Д.) Были смоделированы как лица OWL, то вы увидите некоторые новые утверждения о свойствах объекта, найденные разумом между этими людьми.

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

  • View -> Ontology views -> Classification Results покажет список связанных аксиом. Хотя он может показывать не все связанные аксиомы, например, я пробовал это с Protege 4.1 и не видел никаких утверждений о свойствах объекта.
  • в DL Query tab Вы можете ввести выражение класса и перечислить все его подклассы и отдельных лиц (включая вложенные). Это может быть самый естественный способ изучения последствий.

Смотрите также:

Источник
Другие вопросы по тегам