Я попытался выполнить следующий запрос SPARQL в Sesame:
SELECT ?s ?p
FROM <http://namespace#ABox>
FROM <http://namespace#TBox>
WHERE { ?s ?p <http://namespace#Sensor> }
в соответствии с: запустить sparql-запрос к двум графикам?
следующие rdf-операторы хранятся в Sesame:
subject: <http://namespace#Sensor2014>
predicate: <http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
object: <http://namespace#TempSensor>
context: <http://namespace#ABox>
subject: <http://namespace#TempSensor>
predicate: <http://www.w3.org/2000/01/rdf-schema#subClassOf>
object: <http://namespace#Sensor>
context: <http://namespace#TBox>
Я использовал параметр setIncludeInferred(true) в Java.
Появляется только следующее утверждение:
subject: <http://namespace#TempSensor>
predicate: <http://www.w3.org/2000/01/rdf-schema#subClassOf>
На самом деле я ожидаю получить Sensor2014 также в результате.
Я думаю, что проблема может быть в OWLSubClassOfAxiom.
Обновление:
Я пробовал следующие запросы:
Первый запрос:
SELECT ?s ?p WHERE {?s ?p <http://namespace#Sensor>}
результат:
subject: <http://namespace#Sensor2015>
predicate: <http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
результат ожидаемый
Второй запрос:
SELECT ?s ?p FROM <http://namespace#TAbox> WHERE {?s ?p <http://namespace#Sensor>}
Нет результатов
результат не ожидаемый
Теперь оба, ABox и TBox, находятся в одном подграфе. содержание подграфа:
subject: <http://namespace#Sensor2015>
predicate: <http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
object: <http://namespace#TempSensor>
context: <http://namespace:TAbox>
subject: <http://namespace#TempSensor>
predicate: <http://www.w3.org/2000/01/rdf-schema#subClassOf>
object: <http://namespace#Sensor>
context: <http://namespace:TAbox>
Рассуждение поддерживается - доказано в первом запросе. Я пришел к выводу, что, попробовав запросы, как только используется подграф, рассуждение больше не работает.
FROM <namespace#ABox> FROM <namespace#TBox>
выглядит очень подозрительно. Вы действительно используете относительные URI в качестве имен графиков? Я даже не уверен, что это законно. В любом случае, похоже, что это может привести к непредсказуемым результатам. Если это не ваш фактический код, предоставьте нам код, который мы можем использовать для воспроизведения проблемы. - person Joshua Taylor   schedule 28.05.2014