В онтологии OWL пусть будет:
P Domain A
P Range B
A subClassOf P max 1 Thing
Запрос DL
(1) P max 1 Thing
вернет А; ХОРОШО
спрашивать
(2) P exactly 1 Thing or P exactly 0 Thing
также вернет A.
Однако; спрашивая
(3) P exactly 1 Thing
ничего не вернет. И спрашивая
(4) P exactly 0 Thing
также ничего не вернет.
Я думал, что объединение результатов (3) + (4) эквивалентно результату (2). К сожалению, это не так! Почему?
Потому что семантика OWL не экстенсиональна. Союз "или" не является союзом множества. Основываясь на ваших аксиомах, просто не существует именованного класса, который является подклассом (3) или (4).
В частности, когда вы спрашиваете DL Queries о классах, вы задаете вопросы об аксиомах, вытекающих из вашей теории/онтологии. Они должны быть верны во всех всех возможных интерпретациях вашей теории. Это включает (по крайней мере) один, где все A соответствуют ровно одному другому объекту, один, где все A соответствуют P ровно нулю другим объектам, и один, в котором нет экземпляров A. DLQuerys будут возвращать только те объекты, которые верно во всех интерпретациях, а в некоторых интерпретациях экземпляры A не удовлетворяют ни (3), ни (4).
