disjoint classes in OWL

Given the following OWL ontology (in an abstract syntax) is it possible 
to determine anything about the overlap of the classes 'leg' and 'fin'?

Ontology(
 Class(animal)
 Class(part)
 Class(fin
  subclassOf(part))
 Class(leg
  subclassOf(part))
 Class(fish
  subclassOf(animal)
  complementOf(restriction(has someValuesFrom (leg)))
  restriction(has someValuesFrom (fin)))
 Class(reptile
  subclassOf(animal)
  complementOf(restriction(has someValuesFrom (fin)))
  restriction(has someValuesFrom (leg)))
 ObjectProperty(has
  domain(animal)
  range(part))
 DisjointClasses(fish reptile)
)

Presumably, if the writer went to the trouble of putting in the 
distinguishing restrictions, they ('fin' and 'leg') have to be different 
classes, but that's just presupposition, and not implication. But is 
there anything more that can be said?

Thanks,

Jeff