时间戳

首页 > 解决方案 > 如何用另一个谓词来表达一个谓词？

sparql - 如何用另一个谓词来表达一个谓词？

问题描述

我有一个谓词“HAVE”，现在我需要一个谓词“don'tHave”。如何使用现有谓词“HAVE”创建这样的谓词？

标签： sparqlrdfowlpredicatenegation

解决方案

在 OWL 中，其断言处于开放世界假设下，将此类属性声明为不相交就足够了，这样，如果您声明:x :DontHave :y .，那么您就会知道这:x :Have :y是错误的。

函数式语法

DisjointObjectProperties( :Have :DontHave )

RDF/XML 语法

<rdf:Description rdf:about="Have">
  <owl:propertyDisjointWith rdf:resource="DontHave"/>
</rdf:Description>

海龟语法

:Have  owl:propertyDisjointWith  :DontHave .

曼彻斯特语法

DisjointProperties: Have, DontHave

OWL/XML 语法

<DisjointObjectProperties>
  <ObjectProperty IRI="Have"/>
  <ObjectProperty IRI="DontHave"/>
</DisjointObjectProperties>

推荐阅读