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

Re: Dark triples, current closure / entailment rules, can someone clarify?

From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
Date: Tue, 25 Jun 2002 16:59:30 +0100
Message-Id: <5.1.0.14.2.20020625165715.03369d00@joy.songbird.com>
To: pat hayes <phayes@ai.uwf.edu>
Cc: Jan Grant <Jan.Grant@bristol.ac.uk>, w3c-rdfcore-wg@w3.org 

At 10:19 AM 6/25/02 -0500, pat hayes wrote:
>I fail to follow why this kind of example would lead you to that 
>conclusion. BUt in any case there are other strong reasons for not coming 
>to that conclusion, which we have gone over now several times. If there is 
>any way to assert darkness, then there is no way, in practice, to avoid 
>nonmonotonicity. ...

You say _no_ way, but I thought that a syntax extension (in the graph 
syntax) was a possibility.  I agree it has the other disadvantages you 
mention, but I want to be clear what our *possible* choices are.

#g


-------------------
Graham Klyne
<GK@NineByNine.org>
Received on Tuesday, 25 June 2002 11:50:22 EDT

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