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

Question

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

Answer 1

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

函数式语法

:x :Have :y

RDF/XML 语法

DisjointObjectProperties( :Have :DontHave )  

海龟语法

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

曼彻斯特语法

:Have  owl:propertyDisjointWith  :DontHave .

OWL/XML 语法

DisjointProperties: Have, DontHave