如何用一个谓词表达另一个谓词？

Question

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

Answer 1

在 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>

How to express one predicate by means of another one?