W3C home > Mailing lists > Public > public-rif-wg@w3.org > May 2009

Re: Two issues with RIF-Core

From: Dave Reynolds <der@hplb.hpl.hp.com>
Date: Fri, 08 May 2009 08:35:48 +0100
Message-ID: <4A03E0D4.4030608@hplb.hpl.hp.com>
To: Gary Hallmark <gary.hallmark@gmail.com>
CC: RIF WG <public-rif-wg@w3.org>
Gary Hallmark wrote:
> 1. PRD prohibits member (#) in rule heads. Core allows it. I think
> Core must follow PRD here.

We resolved that Core should indeed disallow it for just that reason and 
at one point it did. I don't know when the reversion crept in.

> 2. PRD and Core allow frame properties to be TERMs, i.e. Frame ::=
> TERM '[' (TERM '->' TERM)* ']'
> 
> This is likely to be a problem for most production rule engines. It
> would be much easier if Frame ::= TERM '[' (Const'->' TERM)* ']'

Agreed.

Harold - will you make these changes or shall I?

[Note I'm on a trip Monday/Tuesday and won't make the RIF telecon.]

Dave
-- 
Hewlett-Packard Limited
Registered Office: Cain Road, Bracknell, Berks RG12 1HN
Registered No: 690597 England
Received on Friday, 8 May 2009 07:36:38 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:34:08 GMT