Uwe Assmann, Sacha Berger, François Bry, Tim Furche, Jakob Henriksson, Paula-Lavinia Pătrânjan:
A Generic Module System for Web Rule Languages: Divide and Rule.
Abstract
An essential feature in practically usable programming
languages is the ability to encapsulate functionality in reusable
modules. Modules make large scale projects tractable by humans. For Web
and Semantic Web programming, many rule-based languages, e.g. XSLT, CSS,
Xcerpt, SWRL, SPARQL, and RIF Core, have evolved or are currently
evolving. Rules are easy to comprehend and specify, even for non-technical
users, e.g. business managers, hence easing the contributions to the
Web. Unfortunately, those contributions are arguably doomed to exist in
isolation as most rule languages are conceived without modularity, hence
without an easy mechanism for integration and reuse. In this paper a
generic module system applicable to many rule languages is presented. We
demonstrate and apply our generic module system to a Datalog-like rule
language, close in spirit to RIF Core. The language is gently introduced
along the EU-Rent use case. Using the Reuseware Composition Framework, the
module system for a concrete language can be achieved almost for free, if
it adheres to the formal notions introduced in this paper.
URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-070
@inproceedings{REWERSE-RP-2007-070, author = {Uwe Assmann and Sacha Berger and Fran\c{c}ois Bry and Tim Furche and Jakob Henriksson and Paula-Lavinia P\u{a}tr\^anjan}, title = {A Generic Module System for Web Rule Languages: Divide and Rule}, booktitle = {Proceedings of International RuleML Symposium on Rule Interchange and Applications 2007, Orlando, Florida, USA (25th--26th October 2007)}, year = {2007}, volume = {4824}, organization = {RuleML}, series = {LNCS}, pages = {63--77}, url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-070} }