A framework for composition and inter-operation of rules in the semantic web

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 paper we describe the basic syntax and semantics of the framework, and its preliminary implementation.