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
 
-------------
[1] http://deliberation.ruleml.org/1.01
[2] http://deliberation.ruleml.org/1.01/timeline
[3] http://deliberation.ruleml.org/1.01/myng
[4] http://wiki.ruleml.org/index.php/Demo_of_MYNG_1.01
[5] http://deliberation.ruleml.org/1.01/exa/RulebaseCompetition2014
 

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