如何解决使用 SKOS 进行 SPARQL 推理
我们正在尝试使用 linked-data 展示推理。
这个简单的图表以海龟格式如下所示:
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 }
它应该返回YES,但它返回NO。
是否有可能对数据进行建模,以便此 ASK 语句可以得到“是”的回答?
就推理而言,它应该是 True,因为 ex:Bern 是 ex:Localities,而这是 ex:Countries 的 skos:broader,即 ex:Switzerland。
我还没有找到任何关于 skos-Modelling 和 Inference 的好例子。 我们希望使用 skos:concepts 而不是 rdfs-subclassing。 因为它应该在您无法对所有内容进行子类化的情况下展示对概念的推断。
我正在使用:
- GraphDB 9.5.0 EE
- OWL2-RL - 规则集
解决方法
为了完成这个问题,我在上面发布了我的评论作为答案...
要使其工作,您需要为属性 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) .
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。