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

Я пытаюсь использовать хранилище троек GraphDB-SE для хранения Загадки Эйнштейна и использовать набор правил для вывода ответов. GraphDB имеет встроенную поддержку OWL2-RL и OWL2-QL. Согласно w3.org

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

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

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

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

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


inference graphdb ontology owl owlim
person Michal Joštiak    schedule 22.05.2015    source источник

Ответы (1)


arrow_upward
2
arrow_downward

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

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

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

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

person Dmitry Tsarkov    schedule 06.06.2015