猫头鹰; P max 1 Thing语义

Question

在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）的结果。不幸的是，它不是！为什么呢？

Answer 1

因为OWL语义不是扩展的。 “或”不是一个集合联盟。根据你的公理，没有命名类是（3）或（4）的子类。

特别是，当您询问关于类的DL查询时，您会询问有关理论/本体所带来的公理的问题。它们必须在所有可能的理论解释中都是正确的。这包括（至少）一个所有A在P中完全站在另一个东西的地方，一个是所有A在P中完全归零其他东西，一个没有A的实例.DLQuerys只返回在所有解释中都是如此，在某些解释中，A的实例不满足（3）或（4）。