[TED] The sutructure of the Core document

All,

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

- Section 3: XML

Only illustrative examples in WD1

- Section 4: Compatibility with RDF and OWL

Placeholder (maybe later moved to the Arch document or a separate document)

- Appendices (if any in WD1)

Christian

Received on Tuesday, 13 February 2007 15:18:08 UTC