- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Tue, 25 Mar 2008 10:44:16 -0400
- To: Jos de Bruijn <debruijn@inf.unibz.it>
- Cc: RIF WG <public-rif-wg@w3.org>
OK. Missed the ?-mark.
> > I just noticed that absolute IRI is mandatory for all rules.
>
> I don't think anybody proposed that. I proposed:
>
> Rule ::= 'Rule( ' absolute-IRI? Metadata* RULECONTENT ' ) '
> RULECONTENT ::= 'Forall' Var+ '(' CONDITION (':-' CONDITION)? ')'
> | CONDITION (':-' CONDITION)?
>
>
> > I think it is not good. Not every rule requires a global Id, and in fact
> > most rules will not. Requiring a global id for each rule is a burden.
> >
> >
> > --michael
> >
>
> --
Received on Tuesday, 25 March 2008 17:45:12 UTC