LC comment: sameAs in OWL QL

In the current version of OWL QL, owl:sameAs (if you prefer, same
individual assertion:-) is disallowed. Having checked with Boris (and
also chatted with Bijan) it seems that the reason is that this leaves it
open to possibly extend QL *either* to include owl:sameAs *or*
(exclusive 'or') functional properties.

In my view, it would be better to include one or the other to the
document to make the QL standard profile clearer and cleaner for users.
Introducing a loophole of extra extension would reduce the usability of
QL in my view, mainly in terms of interoperability.

The LOD movement, for better or worse, has already made an extensive use
of owl:sameAs in linking billions of triples stemming from public
databases. In view of that use case, my proposal is to _add_ the same
individual assertion into OWL QL. That would make OWL QL way more
attractive for an important user community.

Ivan


-- 

Ivan Herman, W3C Semantic Web Activity Lead
Home: http://www.w3.org/People/Ivan/
mobile: +31-641044153
PGP Key: http://www.ivan-herman.net/pgpkey.html
FOAF: http://www.ivan-herman.net/foaf.rdf