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

Question

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

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

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

Благодаря

Answer 1

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

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

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

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

EquivalentClasses(new_name query) 

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

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