Написание онтологий в синтаксисе DL?

Question

Я только что открыл OWL и Protege. Прочитав эту справочную страницу (которую я цитирую ниже), я задаюсь вопросом, можно ли не использовать абстрактный синтаксис OWL, а писать в синтаксисе DL. Мои знания основаны на логике, поэтому звучит так, что было бы веселее, даже если бы мне пришлось переводить онтологии позже (хотя я уверен, что для этого должны быть приложения - кроме того, не используют ли DL рассуждения?).

Если это возможно, какую конфигурацию настроек мне следует использовать в Protege (или другом программном обеспечении по вашему предложению) для этого? Я подозреваю, что это невозможно, но я хочу быть уверенным, так как не вижу для этого никакой веской причины, кроме неловкости специальных символов.

РЕДАКТИРОВАТЬ: Если это невозможно, как именно используются языки DL?

OWL DL является логикой описания SHOIN с поддержкой значений данных, типов данных и свойств типов данных, т. Е. SHOIN(D), но поскольку OWL основан на RDF(S), терминология немного отличается.... Для описания онтологии OWL или базы знаний можно использовать синтаксис DL. Существует определенный "абстрактный" LISP-подобный синтаксис, который легче писать в наборе символов ASCII.

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

Answer 1

Разве мыслители не используют DL?

Не обязательно. Они используют все виды логики, некоторые из которых являются DL, некоторые нет.

Если это возможно, какую конфигурацию настроек мне следует использовать в Protege (или другом программном обеспечении по вашему предложению) для этого?

Я почти уверен, что для Protégé такого плагина нет. Но если вы действительно хотите повеселиться, используйте текстовый редактор и напишите свою онтологию от руки. Существует множество синтаксисов, которые вы можете использовать: функциональный синтаксис, синтаксис OWL/XML, синтаксис RDF/XML - все нормативные. Кроме того, вы можете использовать синтаксис Манчестера Turtle, N-Triples, JSON-LD, который будет в будущем рекомендацией для написания RDF (и, следовательно, OWL). Или более экзотические RDF / JSON, HDT. Или, опять же, более "мощные" синтаксисы, такие как Notation3, TriG, TriX, NQuads. Много веселья!

В любом случае, если вы хотите писать в синтаксисе DL, вам нужно будет использовать специальные символы Юникода или специальные команды, например, в LaTeX. И синтаксический анализатор, который имеет дело с этим, должен будет прочитать эти символы или команды. Не идеально, если вы программируете. Но вы всегда можете использовать синтаксис DL в своих работах.

Кстати, текущий стандартный язык веб-онтологий - OWL 2. Его вариант DL (а именно, OWL 2 DL) основан на еще более неотразимом SROIQ.