在OWL本体论中，让我们：
P Domain A
P Range B
A subClassOf P max 1 Thing
询问DL查询
(1) P max 1 Thing
将返回A;行
问
(2) P exactly 1 Thing or P exactly 0 Thing
也将返回A.
然而;问
(3) P exactly 1 Thing
将返回Nothing。并询问
(4) P exactly 0 Thing
也会返回Nothing。
我认为（3）+（4）结果的并集等同于（2）的结果。不幸的是，它不是！为什么呢？
答案 0 :(得分：0)
因为OWL语义不是扩展的。 “或”不是一个集合联盟。根据你的公理，没有命名类是（3）或（4）的子类。
特别是，当您询问关于类的DL查询时，您会询问有关理论/本体所带来的公理的问题。它们必须在所有可能的理论解释中都是正确的。这包括（至少）一个所有A在P中完全站在另一个东西的地方，一个是所有A在P中完全归零其他东西，一个没有A的实例.DLQuerys只返回在所有解释中都是如此，在某些解释中，A的实例不满足（3）或（4）。