Model theory, possibly critical comment

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 UTC