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 then defined between the Dlex subset of the RIF Presentation Syntax and RIF/XML, RIF/XML and RuleML/XML, as well as RuleML/XML and the Prolog-like RuleML/POSL. These mappings 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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Boley, H., Hallmark, G., Kifer, M., Paschke, A., Polleres, A., Reynolds, D.: RIF Core Dialect. W3C Working Draft (July 2009), http://www.w3.org/2005/rules/wiki/Core
Boley, H., Kifer, M.: RIF Basic Logic Dialect. W3C Working Draft (July 2009), http://www.w3.org/2005/rules/wiki/BLD
Boley, H., Kifer, M.: RIF Framework for Logic Dialects. W3C Working Draft (July 2009), http://www.w3.org/2005/rules/wiki/FLD
Berners-Lee, T., Connolly, D., Kagal, L., Scharf, Y., Hendler, J.: N3Logic: A Logical Framework For the World Wide Web. Theory and Practice of Logic Programming (TPLP) 8(3) (May 2008)
Boley, H.: The RuleML Family of Web Rule Languages. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol. 4187, pp. 1–17. Springer, Heidelberg (2006)
Boley, H.: Are Your Rules Online? Four Web Rule Essentials. In: Paschke, A., Biletskiy, Y. (eds.) RuleML 2007. LNCS, vol. 4824, pp. 7–24. Springer, Heidelberg (2007)
Ceri, S., Gottlob, G., Tanca, L.: What You Always Wanted to Know About Datalog (And Never Dared to Ask). IEEE Trans. on Knowledge and Data Eng. 1(1) (March 1989)
Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML. W3C Member Submission (May 2004), http://www.w3.org/Submission/SWRL/
Polleres, A., Boley, H., Kifer, M.: RIF Datatypes and Built-ins 1.0. W3C Working Draft (July 2009), http://www.w3.org/2005/rules/wiki/DTB
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boley, H. (2009). RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core. In: Governatori, G., Hall, J., Paschke, A. (eds) Rule Interchange and Applications. RuleML 2009. Lecture Notes in Computer Science, vol 5858. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04985-9_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-04985-9_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04984-2
Online ISBN: 978-3-642-04985-9
eBook Packages: Computer ScienceComputer Science (R0)