W3C home > Mailing lists > Public > public-rif-wg@w3.org > February 2007

ACTION-219: review of CORE (more)

From: Ginsberg, Allen <AGINSBERG@imc.mitre.org>
Date: Mon, 12 Feb 2007 13:17:01 -0500
Message-ID: <90A462F2D6E869478007CD2F65DE877C014F926E@IMCSRV5.MITRE.ORG>
To: <public-rif-wg@w3.org>

Hi again,

I want to add the following remarks to my review of the core document
(which can be accessed at

This concerns the section titled "Intended Models of Rules."

I don't necessarily disagree with the details of that section (but see
next paragraph), but I don't see what purpose it serves by being
included at this point.

Also, there is a way of interpreting what goes on in a system that
concludes "p" from "p :- naf q" that does not involve adopting a
non-classical semantics.  Basically, one can view the naf operator as
giving license to assume "not q" under certain circumstances.  Once
that assumption is made, "not q" is deemed true and one may infer "p"
validly from "p :- naf q" and "not q" according to classical semantics.
Received on Monday, 12 February 2007 18:17:10 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:42 UTC