Re: [RIF] Rewording in the CORE WD

I agree with Hassan's proposal.


François

Hassan Aït-Kaci schrieb:
> 
> 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

Received on Wednesday, 14 March 2007 07:49:46 UTC