GraphDB не может вывести класс личности - PullRequest
Новая
       34

GraphDB не может вывести класс личности

0 голосов
/ 20 сентября 2019

Существует класс MotionPoint, эквивалентный (синтаксис Protege) 

(geosparql:asWKT exactly 1 rdfs:Literal)
and (:hasSpeed exactly 1 rdfs:Literal)
and (:hasTimestamp exactly 1 rdfs:Literal)
and (:locatedInRoadElement exactly 1 otn:Road_Element)

А также существует подкласс OverspeedingMotionPoint, эквивалентный 

:MotionPoint
 and (:overspeedingByValue exactly 1 rdfs:Literal)

Итак, имея отдельную X сову:В связи со связями из определения MotionPoint, аргумент Protege Pellet выводит, что X является MotionPoint.

Добавление отношения overspeedingByValue к X делает Pellet выводом, что X является OverspeedingMotionPoint.

Наконец, я импортировал эту онтологию вGraphDB выбрал набор правил OWL2-RL, но не может прийти к выводу, что X - это OverspeedingMotionPoint, он говорит, что X - это только MotionPoint.

Пожалуйста, помогите мне понять, что я делаю неправильно ..

...