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 inter-operation through a well-defined module interface. In this paper we describe the basic syntax and semantics of the framework, and its preliminary implementation.
展开▼
