Может ли семантическая веб-онтология иметь такую ​​же выразительность, но другой профиль?

Question

Я анализирую некоторые онтологии с помощью анализатора пеллет, но получаю странные результаты.Когда я выполняю метод «информация о гранулах» в онтологии и сравниваю профиль OWL с экспрессивностью DL, я иногда получаю онтологии, которые имеют разную экспрессию в одном профиле.Это кажется по крайней мере правдоподобным, но я также нахожу онтологии с такой же выразительностью, но разными профилями OWL.Как это возможно, поскольку профиль является признаком экспрессивности и сводимости онтологии?

Answer 1

Если вы рассматриваете возможность сравнения онтологий в OWL2 (на основе SROIQ ) в целом и, например, в профиле, который является субязыком, например OWL-EL (на основе EL ++ ), тогда возможно, что онтология может иметь одинаковую выразительность и различный «профиль», если вы рассматриваете полный OWL2 как «профиль», а выразительность - как DL-выразительность, поскольку SROIQ включает EL ++.

Однако, если под профилем вы строго подразумеваете один из трех отдельных OWL2 профилей ; OWL2-EL , OWL2-QL и OWL2-RL , тогда все же возможно, что две онтологии с разными профилями OWL2 действительно могут иметь одинаковую выразительность (при как минимум, DL-выразительность), поскольку эти профили основаны на логике описания, которая может иметь некоторую пересекающуюся выразительность.

Например, онтологии в профиле OWL2-EL (на основе EL ++ ) и в профиле OWL2-QL (на основе DL-Lite ), обе эти логики описания может выражать такие вещи, как:

• Аксиомы включения понятия
• Экземплярные утверждения против понятий и ролей
• Существующие ограничения собственности
• Конъюнктивные выражения понятия

Онтологии в любом профиле (EL, QL), которые ограничены использованием конструкций DL, которые являются общими для обоих, будут, следовательно, иметь одинаковую DL-экспрессивность.