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

Запрос (синтаксис протеже):hasPet exactly 1 DomesticAnimal

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

: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 ++, и это не сработало.