OWL 域范围联合

Question

从 中，我了解了 intersection 如何在谓词的多个域和范围之间工作。

似乎 union 是处理这种情况的更常见的方法，所以现在我想知道从域或范围的并集做出哪些不同的推论。

给定 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都有一个共同的超类S，那么a也是S类型.
• 鉴于问题中的信息，除了这些 "maybes" 之外，没有更准确的方法来定义 a 的类型。具体来说，我们不能推断出 a 有不止一种类型，但我们也不能推断出 a 有少于三种类型。