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

 >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 UTC