W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > January 2002

Co-existence

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Fri, 11 Jan 2002 14:32:02 -0000
To: "Brian McBride" <bwm@hplb.hpl.hp.com>, "Frank Manola" <fmanola@mitre.org>, "Patrick Stickler" <patrick.stickler@nokia.com>
Cc: "RDF Core" <w3c-rdfcore-wg@w3.org>
Message-ID: <JAEBJCLMIFLKLOJGMELDOEMHCCAA.jjc@hplb.hpl.hp.com>

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
Received on Friday, 11 January 2002 09:35:38 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:43:54 EDT