What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
N3logic: A logical framework for the world wide web
Theory and Practice of Logic Programming
Are your rules online? four web rule essentials
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
The RuleML family of web rule languages
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
RuleML 1.0: the overarching specification of web rules
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Rules and logic programming for the web
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Reaction RuleML 1.0: standardized semantic reaction rules
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
| Hi-index | 0.00 |
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.