如何构建表示“无人”的OWL claimedBy属性？

云上老周

2026-7-1

OWL本体中claimedBy属性的语义实现问题

核心问题：误用owl:Nothing

你当前的做法是错误使用了owl:Nothing，并非WebVOWL的bug。原因如下：

owl:Nothing是OWL定义的空类，不包含任何实例。将其加入claimedBy的range中，会导致#GreenBall claimedBy owl:Nothing这个三元组在语义上矛盾——该三元组断言绿球的claimedBy取值是空类的实例，但空类不存在实例，这种表述会让整个本体逻辑不一致，这也是WebVOWL出现异常的根本原因。
从OWL的开放世界假设（OWA）来看：没有声明claimedBy属性的个体（比如蓝球），天然就代表“认领状态未知”，不需要额外标记。

正确实现“已知无人认领”的方案

要明确表示“已知某个体无人认领”，推荐创建一个专门的<#Nobody>实例，而非依赖owl:Nothing：

1. 定义Nobody实例

<#Nobody> a owl:NamedIndividual ;
  rdfs:label "无人认领"@zh .

2. 修正claimedBy属性的range

由于schema:Person、schema:Organization本身都是foaf:Agent的子类，range可以简化为foaf:Agent加上Nobody实例：

<#claimedBy> a owl:ObjectProperty ;
  rdfs:domain owl:Thing ;
  rdfs:range [
    owl:unionOf (
      <http://xmlns.com/foaf/0.1/Agent>
      <#Nobody>
    )
  ] .

3. 修正后的数据集示例

<#Alice> a <https://schema.org/Person> .
<#RedBall> a owl:Thing .
<#GreenBall> a owl:Thing .
<#BlueBall> a owl:Thing .

<#RedBall> claimedBy <#Alice> .
<#GreenBall> claimedBy <#Nobody> .

这样的语义划分清晰：