WD1 Core

Dear All,

The following in the current Working Draft seems to me questionable.

Regrds,

Francois

In Section "1 RIF Overview"

- business (or production) rules. Business rules are not all
productuioin rules. Some business rules are eg integrity
constraints.Some other business rules are Ecvent-Condition-Action (ECA)
rules.

- FOL-based rules. I suggest to expend FOL. Furthermore, the concept of
"first-order-logic based rules" should be either explained or not used.

- Syntaxes:

   1.

      A BNF syntax (concrete human-oriented syntax, for
      illustration/explanation purposes only)

   2.

      An XML syntax (concrete serialization syntax, for illustration
      purposes only)


A BNF syntax cannot be said to be for illustration/explanation purposes
only. Indeed, it will be sued for implementing the language. Similarly,
the XML syntax can not be said to be for illustration purposes only.
Bioth syntaxes will be used in processing the langauge.

In Section "RIF Condition Language"

The opposdition of Logic Programming and First-Order dialects is unclear
and should be explained - or not used at all.

In Section " Syntax for Primitive Sorts". Should  _sortname"value" be
kept? It is not very elegant.

Function term sounds strange. If at all it sohlud be "functional term".
Why not "compound term" as opposed to "atomic term" = individual =
constant?

The notation then :- if for a rule seems rather unnatural. Why not using
antecedent and consequenty, or body and head, or ...