Re: [RIF] Extensible Design

It is not possible to have no semantics. Even 'syntax-only' is a kind  
of semantics.

An exercise for the philosopher: try to write down the semantics of  
logic without using syntax.
Frank


On May 4, 2006, at 7:24 AM, Francois Bry wrote:

>
> Peter F. Patel-Schneider wrote:
>>>> That there is no formal role for semantics in the RIF - it is  
>>>> just an
>>>> interchange syntax.
>>>>
>
> If I understand well, the above statement aims at provoking reactions.
> (I apologize, if I am wrong!)
>
> Are there in this WG members thinking the RIF should habve no  
> semantics?
>
> François
>

Received on Thursday, 4 May 2006 16:24:55 UTC