- From: R.V.Guha <guha@guha.com>
- Date: Tue, 25 Jun 2002 10:27:28 -0700
- 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 UTC