- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Tue, 13 Mar 2007 13:07:53 -0400
- To: =?ISO-8859-15?Q?Hassan_A=EFt-Kaci?= <hak@ilog.com>
- Cc: W3C RIF WG <public-rif-wg@w3.org>
Hassan, yes, this was the intent. I've changed this now. --michael > In: > > http://www.w3.org/2005/rules/wg/wiki/Core/Positive_Conditions > > One can read (my capitals): > > To make RIF into a Web language and to provide for future higher-order dialects > BASED ON HiLog and Common Logic, the RIF Core language does not separate symbols > used to denote constants from symbols used as names for functions or predicates. > Instead, all symbols are drawn from the same universal set. When desired, > separation between the different kinds of symbols is achieved through the > mechanism of sorts. > > While I agree with the use of sorts and the general idea, I do not accept the > wording of the first sentence that makes one believe that there is a consensus > in the RIF WG that RIF extensions will be based on Hilog or Common Logic. There > certainly isn't. So, I suggest to rephrase the above paragraph's first sentence > more open-midedly as (again, my capitals replace the one above): > > To make RIF into a Web language and to provide for future higher-order dialects > SUCH AS, E.G., HiLog and Common Logic, the RIF Core language does not separate > symbols > > -hak > -- > Hassan Aït-Kaci > ILOG, Inc. - Product Division R&D > tel/fax: +1 (604) 930-5603 - email: hak @ ilog . com > http://koala.ilog.fr/wiki/bin/view/Main/HassanAitKaci > > > > >
Received on Tuesday, 13 March 2007 17:10:20 UTC