rdf - Must 的 OWL 限制

Question

我对 OWL 还很陌生，还在了解这些限制。我正在尝试对这些语句进行建模:

1. 一个人 (P) 可以是男性 (M) 或女性 (F)，但不能两者都是
2. 一个人必须是男性或女性
3. 男性没有衣服
4. 一个女性至少有一件衣服(D)

到目前为止，我已经将其建模为:

P -> canBe -> M  
P -> canBe -> F  
M <- disjoint -> F  
F -> has (>= 1) -> D

我很困惑如何添加一个人必须是男性或女性的限制，以及如何表明男性没有衣服。我也不确定我的建模总体上如何，希望得到任何反馈。

Answer 1

一般来说，可以有不同的方法来实现相同的目标。这意味着以下答案不一定是唯一的可能性，但它们是我首先想到的。

1. A person (P) can be male (M) or female (F), but not both.
2. A person must be male or female.

对于这两个语句，需要做出重要的建模决策。 Male 和 Female 都是 Person 类的子类，或者您是否在使用某些属性，例如，hasSex 将人与性别联系起来？如果您使用的是子类方法，那么您可以通过声明

Person is the disjoint union of Male and Female.

这意味着 Person 的每个实例都是 Male 的实例或 Female 的实例，并且类 Male 和 Female 是不相交的，所以没有什么是两者的实例。 (当然，如果你能谈论非人的东西，比如男性和女性，那么你就不会想完全使用这种方法。)

如果您使用的是 hasSex 之类的属性，那么它要么是对象属性，要么是数据属性。在第一种情况下，你需要一个 Sex 类，其中有两个个体 male 和 female，并且你会声明它们不同于彼此，并且您可以使 hasSex 成为功能属性，并将其范围声明为 Sex 类。当然，其中一些取决于您的类和属性的通用性。如果您不声明该属性的范围，那么您仍然希望使用某种限制类作为 Person 的父类(super class)。例如，

Person ⊑ =1 hasSex.{male,female}
Person ⊑ ∀hasSex.{male,female}

这些公理说每个人都有一个来自 {male, female} 的值作为 *hasSex* 属性的值，并且一个人对 hasSex 的每个值都必须来自 {male , 女}.

3. A male has no dresses
4. A female has at least one dress (D)

如果您使用的是一般 has 属性，它不仅适用于裙子(与仅适用于裙子的 hasDress 属性相反) )，并且你有一个Dress类，它们很简单:

Male ⊑ =0 has.Dress
Female ⊑ ≥1 has.Dress