Протеже рассуждает, выделяя особей онтологии - PullRequest
Новая
       109

Протеже рассуждает, выделяя особей онтологии

0 голосов
/ 27 апреля 2020

Я построил онтологию на Протеже, я запустил рассуждения Пелле и вижу, что многие люди окрашены в светло-желтый цвет. Это означает, что моя онтология имеет проблемы? Как я нахожу, что пошло не так? Я не вижу классов красного цвета, как показано в учебнике:

https://protegewiki.stanford.edu/wiki/Using_Reasoners

Что мне делать?

Я получил это в журнале (если это может помочь): 

   INFO  13:31:37  REASONER CHANGED
   INFO  13:31:40  ------------------------------- Running Reasoner -------------------------------
   INFO  13:31:40  Pre-computing inferences:
   INFO  13:31:40      - class hierarchy
   INFO  13:31:40      - object property hierarchy
   INFO  13:31:40      - data property hierarchy
   INFO  13:31:40      - class assertions
   INFO  13:31:40      - object property assertions
   INFO  13:31:40      - same individuals
   INFO  13:31:40  Ontologies processed in 28 ms by Pellet
   INFO  13:31:40  
   INFO  13:31:40  REASONER CHANGED

1 Ответ

3 голосов
/ 27 апреля 2020

Желтый фон означает, что элемент или свойство были выведены (неявно описано перед запуском). Ошибки в вашей онтологии будут выделены красным. Я бы порекомендовал вам открыть онтологию pizza и проверить класс IceCream в качестве примера того, как Protégé обрабатывает ошибки.

В журнале просто выражены настройки проверки аргумента. Для получения дополнительной информации, пожалуйста, обратитесь к официальной документации, поскольку она явно касается части ваших проблем.

...