Re: Merging Rulesets

>
>
>[...]
>> 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