СОВА-?? в OWL-RL для GraphDB (OWLIM)

Я пытаюсь использовать GraphDB-SE триплетное хранилище для хранения Einstein Riddle и использовать набор правил, чтобы вывести ответы. GraphDB имеет встроенную поддержку OWL2-RL и OWL2-QL. По данным w3.org

OWL 2 RL поддерживает все аксиомы OWL 2, кроме непересекающихся объединений классов (DisjointUnion) и аксиом свойств рефлексивного объекта (ReflexiveObjectProperty).

Q1: Почему GraphDB не может сделать вывод?

В2: Если я использую что-то из OWL-RL, как я могу преобразовать свою онтологию (файл OWL) в OWL-RL? (Я не могу найти больше информации об этом профиле. Практическая информация, такая как "Используйте это, не используйте это.") "

Q3: Если GraphDB не полностью поддерживает OWL2-RL, какая часть не поддерживается? Как я могу преобразовать свою модель, чтобы иметь возможность выводить ожидаемые результаты с помощью GraphDB?

Моя модель совы из этой сети, а также измененная модель, использующая ровно 1 QCR вместо функциональных и обратных функциональных свойств с некоторыми значениями из.

Источник

1 ответ

Решение

Лучше цитата из стандарта будет

Ограничение способа использования конструкций позволяет реализовать системы рассуждений с использованием основанных на правилах механизмов рассуждений [...] [I]n Аксиомы SubClassOf, конструкции в выражениях подкласса и суперкласса должны следовать шаблонам использования, показанным в таблице 2,

А таблица 2 запрещает, например, использование OneOf конструкция на правый размер SubClassOf аксиома. И эта конструкция имеет решающее значение для проблемы Эйнштейна Риддла.

Ответ на вопрос 2: если вы посмотрите на приведенную выше таблицу 2, то обнаружите, что OWL 2 RL действительно очень ограничительный профиль. В частности, он запрещает экзистенциальное ограничение в правой части подсчета. Это означает, что обычно невозможно преобразовать произвольную онтологию OWL 2 DL в RL.

Источник
Другие вопросы по тегам