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

Model theory, possibly critical comment

From: Graham Klyne <GK@NineByNine.org>
Date: Sat, 09 Nov 2002 11:35:06 +0000
Message-Id: <5.1.0.14.2.20021109112953.03c3ec30@127.0.0.1>
To: Pat Hayes <phayes@ai.uwf.edu>, RDF core WG <w3c-rdfcore-wg@w3.org>

I don't think this is necessarily a show-stopper, but I think it should be 
considered carefully:

In [1] Section 1.3, 2nd para, talks about treating the assertion of a graph 
as merge with some other referenced graphs.  While we may wish to discuss 
this as a possibility (personally, I am very uneasy about it), I think it 
could muddy the waters in a document that otherwise defines very clearly 
the meaning of an RDF *graph*.  I think the issues of how RDF documents may 
be combined to create the RDF graphs on which entailments are defined 
should be kept very separate from the model theory itself.

Review continues...

#g
--

[1] 
http://lists.w3.org/Archives/Public/www-archive/2002Nov/att-0022/01-RDF_20Model_20Theory_Oct_draft.html


-------------------
Graham Klyne
<GK@NineByNine.org>
Received on Saturday, 9 November 2002 06:35:15 EST

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