W3C home > Mailing lists > Public > public-rule-workshop-discuss@w3.org > August 2005

Re: Merging Rulesets

From: Peter Patel-Schneider <pfps@comcast.net>
Date: Fri, 26 Aug 2005 19:02:58 -0400
Message-ID: <430F9FA2.2090900@comcast.net>
To: public-rule-workshop-discuss@w3.org

>
>
>[...]
>> 1.  N3, as I hope we have established by now, is nonmonotonic.
>
>Not at all.   At most we have established that it's semantics are
>unclear.  :-)    By design it is meant to be monotonic.
>  
>
>[...]
>      -- sandro
>

It is entirely possible, and perhaps even quite likely, that N3 is 
indeed monotonic, or, at least, that any logical reconstruction of N3 is 
monotonic, but not in any interesting way. 

Why?   Well, it may be that there are no models for N3.

peter
Received on Friday, 26 August 2005 22:59:39 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:16:23 GMT