0

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) の結果と同等だと思いました。残念ながら、そうではありません。なんで？

4

1 に答える 1

0

OWLセマンティクスは拡張的ではないためです。「または」は集合結合ではありません。あなたの公理に基づいて、(3) または (4) のサブクラスである名前付きクラスはありません。

特に、クラスについて DL クエリを尋ねるときは、理論/オントロジーに含まれる公理についてクエリを行います。それらは、あなたの理論の可能なすべての解釈において真でなければなりません。これには、(少なくとも) すべての A が P 内にあり、他の 1 つのものに対して立っているもの、すべての A が P 内にあり、他のものを正確にゼロにするもの、および A のインスタンスがないものが含まれます。DLQuery は、すべての解釈で真であり、一部の解釈では、A のインスタンスは (3) または (4) のいずれも満たさない。

于 2015-04-10T18:33:41.470 に答える