- From: Peter Patel-Schneider <pfps@comcast.net>
- Date: Fri, 26 Aug 2005 19:02:58 -0400
- 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 UTC