Identity of a Position: owl2 haskey?

[JervenBolleman]

At the moment it is impossible for a reasoner that a position of the same type and with the same reference is actually the same position.

Can we use owl2 hasKey for this?

[JervenBolleman]

For the exact position class this is simple.

faldo:ExactPosition
      a       owl:Class ;
      owl:hasKey (:position :reference) .

This would allow us to determine that

:ddbj-position 
     a faldo:ExactPosition ;
     faldo:position 1 ;
     faldo:reference ddbj:XXXXXX .

:uniprot-position 
     a faldo:ExactPosition ;
     faldo:position 1 ;
     faldo:reference uniprot:XXXXXX .

Are the same positions given that

uniprot:XXXXXX owl:sameAs ddbj:XXXXXX 

[JervenBolleman]

We can do something similar for faldo:Region. If the begin and end are the same then it is the same region.