@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix : <foo://bla#>.

:name a owl:FunctionalProperty.
:hasCat rdfs:subPropertyOf :hasAnimal; rdfs:range :Cat.
:hasDog rdfs:subPropertyOf :hasAnimal; rdfs:range :Dog.
:hasCat owl:propertyDisjointWith :hasDog.

:alice :name "Alice"; :hasDog :pluto, :struppi.
:john :name "John"; :hasCat :garfield, :nermal; :hasDog :odie.
:sue :hasCat :grizabella.
#:sue :hasDog :grizabella.   ### test ##########
: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".
:grizabella :name "Grizabella".