Ta kwerenda DL nie zwraca żadnych osób:

Zapytanie (składnia Protégé):hasPet exactly 1 DomesticAnimal

Oto część ontologii:

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


:Joe    a           :Human;
        hasPet      :Lassy.

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

Zapytania:

petOf value Bob zwracaSparkey iLuckypetOf value Joe zwracaLassyhasPet exactly 1 nic nie zwraca.

Dlaczego nie powraca ostatnie zapytanieJoe? Wypróbowałem go w Protégé z Pellet, HermiT i FaCT ++ i nie zadziałało.