Можно ли построить запрос SPARQL, в котором перечислены все возможные единицы, совместимые с количеством Время , если в моей онтологии есть следующее?
Metre rdfs:subClassOf Unit
Second rdfs:subClassOf Unit
Hour rdfs:subClassOf Unit
Metre hasPhysicsDimension only LengthDimension
Second hasPhysicsDimension only TimeDimension
Hour hasPhysicsDimension only TimeDimension
Time hasUnit only (hasPhysicsDimension only TimeDimension)
Все сущности в этой онтологии являются классами. Ожидаемый результат должен быть Второй , Час .
Если ответ «да», как будет выглядеть этот запрос SPARQL? Запрос 13 в учебном пособии Ли Фейгенбаума предлагает объединить OPTIONAL с фильтром !bound(...) для универсально количественных запросов. Но я не смог сделать рабочий запрос, основанный на этом.
Если такой запрос создать невозможно, вы можете прокомментировать почему, и поможет ли это, если мы дополним онтологию экзистенциальным ограничения?
Metre hasPhysicsDimension some LengthDimension
Second hasPhysicsDimension some TimeDimension
Hour hasPhysicsDimension some TimeDimension