W3C home > Mailing lists > Public > www-rdf-rules@w3.org > November 2003

RE: Rules WG -- draft charter -- NAF

From: Wagner, G.R. <G.R.Wagner@tm.tue.nl>
Date: Mon, 24 Nov 2003 18:45:53 +0100
Message-ID: <D0D13B0440FC1F4995BC4CD7F84A3A4216491C@tmex2.campus.tue.nl>
To: "Dan Connolly" <connolly@w3.org>, "Benjamin Grosof" <bgrosof@mit.edu>
Cc: "Jim Hendler" <hendler@cs.umd.edu>, "Sandro Hawke" <sandro@w3.org>, <adrianw@snet.net>, <www-rdf-rules@w3.org>, <phayes@ihmc.us> 

> I've found cwm's log:includes and log:notIncludes mechanisms
>   http://www.w3.org/2000/10/swap/doc/Reach
> useful for building a number of applications. I've tried
> to figure out what it corresponds do in other systems, but
> I'm not having much luck. It can't really be all that
> novel, can it?

The important construct for getting a kind of closure/failure in 
N3/cwm is log:definitiveDocument, which corresponds to what has 
been called Local Closed World Assumptions in works referenced 
in [1] or predicate-specific completeness assumptions in [2].

-Gerd
http://tmitwww.tm.tue.nl/staff/gwagner/


[1] http://lists.w3.org/Archives/Public/www-rdf-rules/2003Jun/0019.html
[2] http://tmitwww.tm.tue.nl/staff/gwagner/myRuleML/WebRules2Neg.pdf
Received on Monday, 24 November 2003 12:53:35 GMT

This archive was generated by hypermail 2.2.0 + w3c-0.30 : Friday, 25 March 2005 11:20:49 GMT