Запросы разъяснений по поводу описания логики и OWL

Question

У меня есть два основных вопроса:

1 / Если мы говорим о семантике OWL 2 в академических рукописях (например, тезис): включаем ли мы описание, приведенное в на этой официальной странице W3C , которая состоит из более чем одной функции интерпретации

ИЛИ

, представленной в большинстве описаний логики и рукописей OWL?Который состоит только из одной функции интерпретации (статьи и тезисы) ???

2 / Если мы говорим о стандартных задачах OWL 2 в академических рукописях (напр. Тезис):

говорим ли мыо задачах рассуждения свойств объектов и данных (например, о потреблении, выполнимости ...) помимо задач классов: поскольку большинство академических рукописей говорят только о задачах рассуждения классов в OWL 2;

спасибо, что сказали мне, какой из этихальтернативы в обоих вопросах более правильные и формальные.

Answer 1

Строго говоря, OWL 2 соответствует DL SROIQ (D), расширенному с помощью безопасных правил DL (который обеспечивает семантику для hasKey).

Использование одной функции интерпретации является нормой в академических текстах.

Как указывал AKSW, стандартные задачи рассуждения сводятся к выполнимости концепции (соответственно, удовлетворенности класса в OWL), поэтому академические тексты имеют тенденцию ссылаться на выполнимость концепции.

Ролевая выполнимость (удовлетворяемость свойств объекта / данных) сводится к выполнимости концепции путем проверки выполнимости концепции $\geq 1 r.\top$.Однако существуют некоторые ограничения при рассмотрении свойств объекта / данных.См. Предупреждение, обнаружение и исправление ошибок в выражениях свойств объекта .