W3C home > Mailing lists > Public > semantic-web@w3.org > September 2014

ANN: Deliberation RuleML 1.01 Release

From: Harold Boley <harold.boley@gmail.com>
Date: Sat, 20 Sep 2014 11:06:05 -0300
To: <semantic-web@w3.org>
Message-ID: <000601cfd4dc$059e7c80$10db7580$@gmail.com>
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

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:42:53 UTC