@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix : <foo://bla/names#> .
:alice :name "Alice"; :hasAnimal :pluto, :struppi.
:john :name "John"; :hasAnimal :garfield, :nermal, :odie.
:sue :hasAnimal :grizabella.              :grizabella :name "Grizabella".
:pluto a :Dog; :name "Pluto".             :struppi a :Dog; :name "Struppi".
:garfield a :Cat; :name "Garfield".       :nermal a :Cat; :name "Nermal".
:odie a :Dog; :name "Odie".
:name a owl:FunctionalProperty.
:Dog a owl:Class.   :Cat a owl:Class.     :Cat owl:disjointWith :Dog.
:HasAnimal owl:equivalentClass
 [a owl:Restriction; owl:onProperty :hasAnimal; owl:minCardinality 1].
:HasCat owl:equivalentClass
 [a owl:Restriction; owl:onProperty :hasAnimal; owl:onClass :Cat; owl:minQualifiedCardinality 1].
:HasDog owl:equivalentClass
 [a owl:Restriction; owl:onProperty :hasAnimal; owl:someValuesFrom :Dog].