使用 SKOS 的 SPARQL 推理

Question

我们正在尝试使用 关联数据 来展示推理。

简单的图形在海龟格式中如下所示：

PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX ex: <http://schema.example.com/>
PREFIX skos: <http://www.w3.org/2004/02/skos/core#>

ex:Places rdf:type skos:ConceptScheme .

ex:Localities rdf:type skos:Concept .
ex:Localities skos:prefLabel "Localities" .
ex:Localities skos:inScheme ex:Places.

ex:Countries rdf:type skos:Concept .
ex:Countries skos:prefLabel "Countries" .
ex:Countries skos:inScheme ex:Places.

ex:Continents rdf:type skos:Concept .
ex:Continents skos:prefLabel "Continents" .
ex:Continents skos:inScheme ex:Places.

ex:Persons rdf:type skos:Concept .
ex:Persons skos:prefLabel "Persons" .

ex:livesIn a rdf:Property .

ex:isPartOf a rdf:Property .

ex:Localities skos:broader ex:Countries .
ex:Countries skos:broader ex:Continents .

ex:Europe a ex:Continents .

ex:Switzerland a ex:Countries .
ex:Switzerland ex:isPartOf ex:Europe.

ex:France a ex:Countries .
ex:France ex:isPartOf ex:Europe.

ex:Bern a ex:Localities .
ex:Bern skos:prefLabel "Bern".
ex:Bern ex:isPartOf ex:Switzerland.
 
ex:Thun a ex:Localities .
ex:Thun skos:prefLabel "Thun".
ex:Thun ex:isPartOf ex:Switzerland.

ex:Paris a ex:Localities .
ex:Paris skos:prefLabel "Paris".
ex:Paris ex:isPartOf ex:France.

ex:Hans a ex:Persons.
ex:Hans skos:prefLabel "Hans".
ex:Hans ex:livesIn ex:Bern.

ex:Fritz a ex:Persons.
ex:Frits skos:prefLabel "Fritz".
ex:Fritz ex:livesIn ex:Thun.

ex:Jaques a ex:Persons.
ex:Jaques skos:prefLabel "Jaques".
ex:Jaques ex:livesIn ex:Paris.

我的想法是在 SPARQL 中执行以下查询：

PREFIX ex: <http://schema.example.com/>
ASK where { ex:Hans ex:livesIn ex:Switzerland }

应该 return 是，但 return 不是。

是否有可能对数据进行建模，让这个 ASK 语句得到 YES 的回答？

根据推论，它应该是 True，因为 ex:Bern 是 ex:Localities 而这是 ex:Countries 的 skos:broader，即 ex:Switzerland .

我还没有找到任何关于 skos 建模和推理的好例子。我们希望使用 skos:concepts 而不是 rdfs-subclassing。因为它应该展示在无法对所有内容进行子类化的情况下对概念的推理。

我正在使用：

GraphDB 9.5.0 企业版
OWL2-RL - 规则集

Answer 1

为了完成这个问题，我在上面发表了我的评论作为答案...

要使其正常工作，您需要为属性 ex:isPartOf 和 ex:livesIn 定义一些含义。建议使 ex:isPartOf 具有传递性，然后将 ex:livesIn 定义为 ex:isPartOf 上的属性链，例如：

ex:isPartOf a owl:TransitiveProperty . 
ex:livesIn rdf:type owl:ObjectProperty;              
    owl:propertyChainAxiom( ex:livesIn ex:isPartOf) .

使用 SKOS 的 SPARQL 推理

SPARQL Inference with SKOS

rdf

sparql

linked-data

skos

graphdb