Как получить базовые словарные аксиомы RDFS, включенные в запрос SPARQL?
Я использую Brightstardb как триплет и "Инструмент управления Polaris для Brightstardb" для импорта RDF и выполнения запросов.
Я импортировал этот RDF в триплет:
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix : <http://www.sample.org/abc#> .
:dog a rdfs:Class .
Затем я запускаю этот запрос SPARQL:
PREFIX declarations ... ... ...
...
ASK { :dog a rdfs:Class . }
Результат TRUE,
Но когда я запускаю этот запрос:
PREFIX declarations ... ... ...
...
ASK { :dog a rdfs:Resource . }
Результат FALSE,
Этот последний результат кажется неверным, потому что по определению что-либо в RDF является ресурсом, как указано в спецификации.
Мне нужен способ включить все основные аксиомы спецификаций RDF и RDFS в мои запросы SPARQL, чтобы использовать их в системе логического вывода. Как я могу это сделать? Должен ли я явно вводить неявные аксиомы?
Примеры основных аксиом в спецификациях W3C:
rdf:Property a rdfs:Class .
Так как Property это Class всех свойств RDF.
rdfs:subClassOf a rdf:Property . rdf:type a rdf:Property .
Так как subClassOf это Property это относится 2 Classes между ними и type это Property которые связаны Resource (Субъект) с Class (Объект).