Почему я не вижу результаты запроса в protege4?

Question

Я знал, что это может быть глупый вопрос, но я не знаю ответа:)

Я использую protege4 Я построил свою онтологию, и когда я попытался использовать DL Query из крана запроса DL в protege4, он работает нормально, и я получаю результаты.

Однако, когда я нажимаю «Добавить в онтологию», чтобы добавить свой запрос в онтологию, он добавляет его, но без результатов запроса !!! Почему нет результатов запроса? и как это увидеть?

Спасибо

Answer 1

Сначала немного терминологии:

• Каждая Онтология OWL представляет собой набор аксиом OWL .
• Каждый DL-запрос представляет собой выражение класса OWL .
• Каждый результат DL-запроса представляет собой набор прав OWL с.

Вы можете добавлять только аксиомы в онтологию. Вы не можете добавлять выражения класса или наборы сущностей в онтологию OWL.

Кнопка «Добавить в онтологию», по-видимому, создает новую -эквивалентную -аксиому на основе запроса (т.е. выражения класса) и именованный класс (предоставленный пользователем), а затем утверждает эта аксиома в активной онтологии, то есть

EquivalentClasses(new_name query)

(я не совсем понял, как это работает в моей версии Protege 4, но такая функциональность имела бы смысл.)

Текущая спецификация OWL2 ничего не говорит о том, как хранить выражения класса и результаты запросов в онтологии. Они должны быть указаны и рассчитаны каждый раз с нуля после загрузки онтологии из файла.