Спросите о выводе на Graphdb - PullRequest
0 голосов
/ 16 марта 2020

моя онтология о социальной сети. И у нас есть простые правила SWRL: два человека (? P1,? P2) workInOrg Org (? Org) => colleagueOf (? P1,? P2), и если их коллега, один человек работаетInOrg => другой человек также работает в этой организации. Я также строю аксиомы OWL, но это не может повлиять на Graphdb. Другая попытка состоит в том, что я написал пользовательское правило, но Graphdb позволяет выбрать только одно правило (в моем случае «owrl2-rl»), и мое пользовательское правило вступает в силу только при комбинировании этого правила OWL2-RL. Есть ли способ использовать правила объединения и писать правила эффективно?

Проверка SHACL хороша. Имеет ли graphdb проверку ограничений OWL ??? (например: проверка диапазона домена?)

Спасибо.

1 Ответ

1 голос
/ 17 марта 2020

Приведенный выше комментарий Дамиана дает ответ

Это можно сделать также с OWL2 RL и цепочками собственности (см. https://www.w3.org/TR/owl2-profiles/#OWL_2_RL в https://www.w3.org/TR/owl2-profiles/#OWL_2_RL). Для этого не потребуются пользовательские правила, но вывод будет немного медленнее

Вот как это может работать: : worksIn owl: propertyChainAxiom (: colleagueOf: worksIn).

...