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都有一個共同的超S，然後a是S型也。
• 鑑於問題中的信息，沒有更準確的方法來定義超出這些「maybes」的a的類型。具體來說，我們不能推斷a有多個類型，但我們不能推斷a也有不到三種類型。