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

Re: SNAF, NAF, and monotonicity [was: Comments on * DRAFT * Rules...]

From: Dieter Fensel <dieter.fensel@deri.org>
Date: Thu, 01 Sep 2005 13:04:49 +0200
Message-Id: <5.2.0.9.0.20050901130249.02accbb0@mail1.uibk.ac.at>
To: Christian de Sainte Marie <csma@ilog.fr>
Cc: public-rule-workshop-discuss@w3.org 

 >If the answer to the first question is: none, couldn't we repair the
 >draft charter (wrt that issue) by removing section 3.1 and rephrasing
 >section 2.9 to say that SNAF is in scope and the RIF must offer ways to
 >specify the scope of NAF. That is, after section 2.3 has been amended to
 >avoid the contradiction between such a statement and the RIF being full
 >FOL, of course.

This sounds like an excellent proposal!

                 -- dieter
----------------------------------------------------------------
Dieter Fensel, http://www.deri.org/
Tel.: +43-512-5076485/8
Received on Thursday, 1 September 2005 11:05:58 GMT

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