rdf - Multiple domain and range in objectProperty? -

i want create ontology protege contains 2 classes, animal , fatheranimal, , object property hasfather, domain animal , range fatheranimal.

also, create 2 other classes: son , father linked same object property, hasfather. problem here i'm not allowed create multiple domain , range same object property. i'd avoid creating new object property. there other solution?

it's not clear problem is. can add multiple domains , ranges object properties, interpretation intersection. means if say, instance,

hasfather rdfs:domain son hasfather rdfs:domain animal 

whenever have

x hasfather y 

you'll able infer

x rdf:type son x rdf:type animal 

which isn't want.

as see it, this:

• don't declare domain or range on hasfather. there's no need that. can declare property, , use see fit.

if want bit more type inference available you, add 2 subclass axioms:

        son subclassof (hasfather only father)
        animal subclassof (hasfather only animalfather)

these axioms if son , it's related property hasfather, then instance of father. similiary, if animal , related property hasfather, then instance of animalfather.