Dlgp to RuleML

The dlgp2ruleml program translates Dlgp to so-called Datalog+ fragment of Deliberation RuleML 1.01, which includes:

positive facts,
universally quantified implications,
existentials in the heads of implications,
equality,
falsity in the heads of implications,
conjunctions in the heads of implications.

The translation from Dlgp to this sublanguage of RuleML is quite direct. Since this latter does not allow for existential quantification in facts, the tool translates each existential variable from the facts into a new constant.

Getting started

Download dlgp2ruleml
Download example2.dlp and its translation example2.ruleml

Translate from an Dlgp file to a RuleML file:
java -jar dlgp2ruleml*.jar -f ./example2.dlp -o ./example.ruleml
Translate from the standard input (Dlgp) to the standard output (RuleML):
java -jar dlgp2ruleml*.jar < ./example2.dlp > ./example.ruleml