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

Re: Making progress

From: R.V.Guha <guha@guha.com>
Date: Tue, 25 Jun 2002 10:27:28 -0700
Message-ID: <3D18A800.5090705@guha.com>
To: Jan Grant <Jan.Grant@bristol.ac.uk>
CC: w3c-rdfcore-wg@w3.org

The point about a dark triple is that it does not have a corresponding 
assertion. i.e., does not appear the lbase translation of the graph and 
is transparent to satisfaction in the model theory. The reason for doing 
this is *to guarentee* that certain problematic assertions never really 
show up in the semantics, thereby ensuring that we avoid the Peter problem.

So, any mechanism that relies on users remembering to darken the right 
triples or not make statements they really shouldn't have made is a 
non-starter. Similarly, a triple has to be light or dark *everywhere*, 
otherwise we land up in trouble again.

Hope this helps.

guha
Received on Tuesday, 25 June 2002 13:28:20 EDT

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