Этот DL-Query не возвращает никаких лиц:

Query (Protégé синтаксис):hasPet exactly 1 DomesticAnimal

Вот's часть онтологии:

:hasPet a           owl:ObjectProperty;
        rdfs:domain :Human;
        rdfs:range  :DomesticAnimal;
        owl:inverseOf : petOf;


:Joe    a           :Human;
        hasPet      :Lassy.

:Bob    a           :Human;
        hasPet      :Sparkey, Lucky.

Запросы:

petOf value Bob возвращаетсяSparkey а такжеLuckypetOf value Joe возвращаетсяLassyhasPet exactly 1 ничего не возвращает

Почему нетт последний запрос, возвращающийJoe? Я пробовал это в Protégé с Pellet, HermiT и FaCT ++, и это нет работа.