Re: one more on metadata

> 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  
> 

-- 
                          debruijn@inf.unibz.it

Jos de Bruijn,        http://www.debruijn.net/
----------------------------------------------
One man that has a mind and knows it can
always beat ten men who haven't and don't.
   -- George Bernard Shaw