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

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

在OWL中，它的断言是开放世界假设的，声明这样的属性是不相交的就足够了，如果您声明

：x:DontHave:y.

，那么您将知道

：x:HAVE:y

是错误的

函数式语法

DisjointObjectProperties( :Have :DontHave )  

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

:Have  owl:propertyDisjointWith  :DontHave .

DisjointProperties: Have, DontHave

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

RDF/XML语法

DisjointObjectProperties( :Have :DontHave )  

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

:Have  owl:propertyDisjointWith  :DontHave .

DisjointProperties: Have, DontHave

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

曼彻斯特语法

DisjointObjectProperties( :Have :DontHave )  

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

:Have  owl:propertyDisjointWith  :DontHave .

DisjointProperties: Have, DontHave

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

OWL/XML语法

DisjointObjectProperties( :Have :DontHave )  

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

:Have  owl:propertyDisjointWith  :DontHave .

DisjointProperties: Have, DontHave

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

老实说，我不喜欢“have”等属性。“have”的语义是什么？它在你的领域真的有意义吗？您能给出在数据中使用“have”和“nothave”的数据示例吗？请注意，这与逻辑表达式

A之间的等价性密切相关→ ​B

（一个表示另一个否定），

A∧ B→ ⊥（适当的分离）或
⊤ → ——A∨ ​B
（其中一个必须为假）。