W3C home > Mailing lists > Public > public-rif-wg@w3.org > March 2008

metadata in BLD

From: Jos de Bruijn <debruijn@inf.unibz.it>
Date: Tue, 25 Mar 2008 16:47:11 +0100
Message-ID: <47E91E7F.2060701@inf.unibz.it>
To: RIF <public-rif-wg@w3.org>
concerning the proposal for adding metadata to RIF-BLD rules:

Adding metadata to rule sets looks fine here.  I have a problem with the 
syntax for rules.  Namely, according to the current proposal, a "Forall" 
has an IRI plus metadata.  Forall is a quantifier and not a rule.
Additionally, it is not possible to add metadata to facts; this is 
clearly undesirable.

I would propose to assign IRIs and metadata directly to rules, e.g., 
using a 'Rule' keyword, as proposed in [1]:

Rule            ::= 'Rule( ' absolute-IRI? Metadata* RULECONTENT ' ) '
RULECONTENT     ::= 'Forall' Var+ '(' CONDITION (':-' CONDITION)? ')'

Best, Jos

[1] http://lists.w3.org/Archives/Public/public-rif-wg/2008Mar/0001.html

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

Received on Tuesday, 25 March 2008 15:47:50 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:49 UTC