rdf - この DL クエリが個人を返さないのはなぜですか?

Question

この DL-Query は個人を返しません:

• クエリ (Protégé 構文) :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とLucky
• petOf value Joe 戻り値Lassy
• hasPet exactly 1何も返しません。

最後のクエリが返されないのはなぜJoeですか? Protégé で Pellet、HermiT、FaCT++ を使用して試してみましたが、うまくいきませんでした。