Re: the mechanism for signatures in RIF

<snip/>
> I was hoping that you would read my msg addressed to
> you, Francois, and Hassan, and will respond to the technical points.
>   
See my e-mails in that thread.
> This is the whole point: WHAT is a URI in the RIF language? A string?
> Probably not.  If they are a special kind of symbol then they ARE a sort.
>   
Let me try to illustrate my point, i.e. that the set of URIs is a set of
symbols, and not the sort.
According to [1], "Each /*D*/_si is the domain of interpretation of the
primitive sort s_i".
This would mean that there is a special domain of interpretation for
URIs. Now, there is no meaningful domain of interpretation especially
for URIs. This leads me to conclude that the sorted "URI" is not a
meaningful sort.

Best, Jos

[1] http://www.w3.org/2005/rules/wg/wiki/Core/Positive_Conditions,
section " Semantics of the Multisorted RIF Conditions"_
>
> 	--michael  
>
>
>   
>> The set Const \subseteq URI is partitioned into the subsets C, P_0, P_1,
>> P_2,...
>> where C is the set of constant symbols (i.e. each c\in C has an arrow
>> signature Resource), and P_0, P_1, etc. are the sets of nullary, unary,
>> etc. predicate symbols (each p\in P_i has a Boolean signature Resource^i).
>>
>>
>> Best, Jos
>>
>> -- 
>> Jos de Bruijn,        http://www.debruijn.net/
>> +43 512 507 6475         jos.debruijn@deri.org
>> DERI                      http://www.deri.org/
>> ----------------------------------------------
>> Simple, clear purpose and principles give rise 
>> to complex and intelligent behavior.  Complex 
>> rules and regulations give rise to simple and 
>> stupid behavior.
>>  - Dee Hock
>>
>>
>>
>>     
>
>
>
>   

-- 
Jos de Bruijn,        http://www.debruijn.net/
+43 512 507 6475         jos.debruijn@deri.org
DERI                      http://www.deri.org/
----------------------------------------------
Simple, clear purpose and principles give rise 
to complex and intelligent behavior.  Complex 
rules and regulations give rise to simple and 
stupid behavior.
 - Dee Hock