A Framework for Composition and Inter-operation of Rules in the Semantic Web

Enrico Pontelli, Tran Son, Chitta Baral
2006 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06)  
Recent developments in the RuleML initiative have led to the design of several languages for representing rules. In this paper we describe a framework, based on the integration of different flavors of logic programming, aimed at facilitate reasoning with multiple sources of knowledge expressed in an heterogeneity of RuleML languages. The framework allows the derivation of logic programming modules from each rule base, and their interoperation through a well-defined module interface. In this
more » ... r we describe the basic syntax and semantics of the framework, and its preliminary implementation in the ASP-Prolog system.
doi:10.1109/ruleml.2006.1 dblp:conf/ruleml/PontelliSB06 fatcat:4gqgqqaqeffgza2f73wokm324m