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

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

Ответы [ 2 ]

4 голосов
/ 15 ноября 2010

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

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

2 голосов
/ 13 ноября 2010

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

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

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

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

...