rdf - OWL 域范围联合

Question

从上一个问题中，我了解了交集如何在谓词的多个域和范围之间工作。

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

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

Answer 1

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

• 的类型是或或a中的至少一个。CDE
• 的类型a可能不止一个C和D和E。
  • 例如，a可能是类型C和类型E（或可能是所有三种类型）。
• 如果C, D, 并且E都有一个共同的超类S， thena也是 type S。
• a鉴于问题中的信息，除了这些“可能”之外，没有更精确的方法来定义类型。具体来说，我们不能推断出a具有多于一种类型，但我们也不能推断出a具有少于三种类型。