@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix : <foo://bla#> .
:Dog a owl:Class.   :Cat a owl:Class.    :Cat owl:disjointWith :Dog.
:alice :name "Alice"; :hasAnimal :pluto, :struppi.
:john :name "John"; :hasAnimal :garfield, :odie.
:pluto a :Dog; :name "Pluto".
:struppi a :Dog; :name "Struppi".
:garfield a :Cat; :name "Garfield".
:odie a :Dog; :name "Odie".
:name a owl:FunctionalProperty.
:HasTwoAnimals owl:equivalentClass
 [a owl:Restriction; owl:onProperty :hasAnimal; owl:minCardinality 2].
:HasTwoCats owl:equivalentClass  [a owl:Restriction;
   owl:onProperty :hasAnimal; owl:onClass :Cat; owl:minQualifiedCardinality 2].
:HasTwoDogs owl:equivalentClass  [a owl:Restriction;
   owl:onProperty :hasAnimal; owl:onClass :Dog; owl:minQualifiedCardinality 2].