RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core

Abstract

The RIF RuleML overlap area is of broad interest for Web rule interchange. Its kernel, Dlex, is defined syntactically and semantically as the common sublanguage of Datalog RuleML and RIF-Core restricted to positional arguments and non-conjunctive rule conclusions, and allowing equality plus externals in rule premises (only). Semantics-preserving mappings are defined between the Dlex subset of the RIF Presentation Syntax, RIF/XML, RuleML/XML, and the Prolog-like RuleML/POSL. These are the basis for RIF RuleML feature comparison and translation. The slightly augmented mappings can be composed into a (‘Rosetta’) ring for round-tripping between all pairs of Dlex representations

DOI: 10.1007/978-3-642-04985-9_6
View Slides

Cite this paper

@inproceedings{Boley2009RIFRR, title={RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core}, author={Harold Boley}, booktitle={RuleML}, year={2009} }