Re: [RIF] [UCR]: What is the RIF (revisited)

• From: Peter F. Patel-Schneider <pfps@inf.unibz.it>
• Date: Wed, 08 Feb 2006 09:05:44 -0500 (EST)
• To: bparsia@isr.umd.edu
• Cc: public-rif-wg@w3.org
• Message-Id: <20060208.090544.103900431.pfps@research.bell-labs.com>

From: Bijan Parsia <bparsia@isr.umd.edu>
Subject: Re: [RIF] [UCR]: What is the RIF (revisited)
Date: Tue, 7 Feb 2006 21:45:01 -0500

>   On Feb 7, 2006, at 8:49 PM, Ginsberg, Allen wrote:
> 
> > Peter,
> >
> > Let's grant that the RIF is a rule language and that it is executABLE.
> 
> I don't understand this move. Peter said nothing about "executabilty"  
> (which suggests to me having "as well a fully-worked-out procedural  
> meaning" which Peter said was the contrary part of a contrary view :)).
> 
> The only other things he mentioned were having a formal syntax and  
> semantics. I believe Peter thin[k]s these are sufficient for well  
> specifying the RIF.

Yes indeed.  :-)

[...]

> Cheers,
> Bijan.

peter

Received on Wednesday, 8 February 2006 14:06:12 UTC