[RuleML-all] RuleML 0.9 Release

[David Z. Hirtle]

RuleML 0.9 has been officially released, featuring the introduction
of toplevel element <RuleML> and the addition of a hornlog with
negation-as-failure (nafhornlog) sublanguage. For more information,
refer to the full specification:

http://www.ruleml.org/spec

(which currently points to RuleML 0.9, and always to the most
recent version)

Accompanying this release is a complete glossary describing
every element and attribute of RuleML:
http://www.ruleml.org/glossary

Also note that the official model has been updated, and now
includes a toplevel view of the RuleML family of sublanguages:
http://www.ruleml.org/modularization/#Model

Feedback is appreciated as always.

David