W3C home > Mailing lists > Public > public-rif-wg@w3.org > February 2007

Re: [TED] The sutructure of the Core document

From: Paula-Lavinia Patranjan <paula.patranjan@ifi.lmu.de>
Date: Tue, 13 Feb 2007 16:34:12 +0100
Message-ID: <45D1DA74.2000505@ifi.lmu.de>
To: Christian de Sainte Marie <csma@ilog.fr>
CC: RIF WG <public-rif-wg@w3.org>
> In addition to all the comments by Allen, Philippe, Jos and Mike, 
> there is one issue that I would like us to discuss at the telecon, 
> today, and that is the overall structure of the Core document.
> To the current structure, I would rather expect something like this:
> - Section 1: An introduction explaining how Core relates to RIF and 
> what is the scope of that specification (e.g. Core is a/the root 
> dialect of RIF; it is designed to cover about Horn; etc).
> In WD1, this should be complemented with some explanation about our 
> overall approach (translators, modularity, dialects and extensions, 
> specification at the abstract syntax level and derivation of XML 
> syntax from the abstract syntax, application-specific 
> vocabularies/identifiers etc). Possibly, that part will be moved to 
> the Arch document if we decide to have one, but, in the absence of 
> such a document along WD1, some basic explanation is needed here.
> - Section 2: Abstract syntax and semantics
>   * 2.1 Core rules: the abstract syntax, BNF and semantics for Core rules
>   * 2.2 Core Condition Language: the abstract syntax, BNF and 
> semantics for the Core Condition Language
> (I would prefer to have rules introduced before the condition 
> language; the problem is that we would have a forward reference when 
> specifying the semantics of rules; or maybe we could separate the 
> semantics in a third subsection?)

IMHO, it is better to start with Core Condition Language and then extend 
it to Core Rules:
1. If Section 1 presents a short overview of Core Rules, it is easier to 
read and understand the document without forward references.
2. The condition part of a rule is also part of production rules (of the 
form 'when condition do action') and Event-Conditon-Action rules (of the 
form 'on event if condition do action'), so it is an important rule 
component for developing extensions to RIF Core.

> - Section 3: XML
> Only illustrative examples in WD1

I suppose that we can find a better section's title :)


Received on Tuesday, 13 February 2007 15:34:17 UTC

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