An even bigger problem is that owl:sameAs is
unlikely to won't work the way in the way that is desired,
especially under the OWL 2-DL Direct Semantics.
Asserting that an IRI is owl:sameAs another IRI is a
statement about these IRIs as Individuals. Assertions
about those IRIs as Classes or Properties are independent
of assertions about Individuals.
:ClassA rdf:type
owl:Class.
:ClassB rdf:type
owl:Class.
:ClassA owl:sameAs
:ClassB
:anA rdf:type ClassA.
Does
not entail
:classA
owl:equivalentClass :classB.
or
:anA rdf:type
:ClassB.
Depending on characteristics of a specific reasoner
hinders interoperability and hence reuse.
Simon