Co-existence

Sergey's doc, as Patrick has indicated, does not permit meaningful
co-existence.

In Idiom A, the range of a property is the value space, in idiom B the range
is the lexical space, and these are disjoint.

Also, it is worth pointing out that the local idioms are fundamentally RDF
idioms, while the global  idioms are fundamentally RDFS idioms.

That is, the model theory for RDF (without RDFS) should cover the local
idiom, whereas the global idiom would fit within the RDFS extension.


In my view, we are likely to need to jump a somersault or two when we hit
schema union types and the combination of local and global idioms. But then
we've known for a while that the union types are a dog's breakfast.

Jeremy