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/RulebaseCompetition2014Received on Monday, 22 September 2014 12:11:19 UTC
This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:45:39 UTC