An XML-Based Manipulation and Query Language for Rule-Based Information
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Complex information management using a framework supported by ECA rules in XML
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
MWeb: A principled framework for modular web rule bases and its semantics
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |
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.