rdf - OWL域范围联合

Question

来自previous question我了解了交集如何在谓词的多个域和范围之间工作。

似乎联合是处理这种情况的更常见方法，所以现在我想知道从域或范围的联合中可以得出什么不同的推论。

给定 p rdfs:domain (C ∪ D ∪ E) 和三元组 a p b，关于 a 推断出什么？

Answer 1

对于那些不熟悉集合论的人(比如我自己)，我将提供一些解释，说明我认为 a 属于 C 的并集意味着什么>、D 和 E。

• a 的类型至少为 C 或 D 或 E 之一。
• a的类型可以是C、D和E中的一种以上。
  • 例如，a 可能是类型 C 和类型 E(或者可能是所有三种类型)。
• 如果 C、D 和 E 都有一个共同的父类(super class) S，则 a 也是 S 类型。
• 鉴于问题中的信息，除了这些“可能”之外，没有更精确的方法来定义 a 的类型。具体来说，我们无法推断 a 具有不止一种类型，但我们也无法推断 a 具有少于三种类型。