- From: Hassan Aït-Kaci <hak@ilog.com>
- Date: Tue, 13 Mar 2007 08:52:35 -0700
- To: W3C RIF WG <public-rif-wg@w3.org>
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 15:54:12 UTC