OWL域范围联盟

Question

从previous question我了解了交集如何在多个域和谓词范围之间起作用。

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

鉴于p rdfs:domain (C ∪ D ∪ E)和三a p b，推断了a的内容？

Answer 1

对于那些不熟悉Set理论的人（比如我自己），我将提供一些解释，我认为a属于C，{{1}的联合意味着什么}和D。

• E的类型至少是a或C或D中的一种。
• E的类型可能不只是a和C以及D中的一种。
  • 例如，E可以是a类型，也可以是C类型（或者可以是所有三种类型）。
• 如果E，C和D都有一个共同的超类E，那么S也属于a类型。< / LI>
• 鉴于问题中的信息，没有更精确的方法来定义超出这些“maybes”的S类型。具体来说，我们无法推断a有多种类型，但我们无法推断a的类型少于三种。