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].
-- 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 _______________________________________________ RuleML-all mailing list [email protected] http://ruleml.org/mailman/listinfo/ruleml-all_ruleml.org
