ANN: Deliberation RuleML 1.01 Release

The Deliberation RuleML 1.01 spec [1] has been released [2].
It allows existential variables in the "then" part of, e.g.:
a) Datalog+ rules, as required, e.g., for description logics
b) Hornlog+ rules, as used, e.g., for PSOA RuleML
The full, fine-grained systematics of language features can be
customized via MYNG 1.01 [3] as normative Relax NG schemas,
from which XSD schemas are automatically generated. A quick
demo of MYNG 1.01 for Deliberation RuleML 1.01 [4] is online,
also linking to a paper. MYNG 1.01 has been employed, e.g.,
for the entries of the Rulebase Competition 2014 [5].
-- Harold Boley

Received on Monday, 22 September 2014 12:11:19 UTC