TY - GEN
T1 - A framework for composition and inter-operation of rules in the semantic web
AU - Pontelli, Enrico
AU - Son, Tran Cao
AU - Baral, Chitta
PY - 2006
Y1 - 2006
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=38949116595&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=38949116595&partnerID=8YFLogxK
U2 - 10.1109/RULEML.2006.1
DO - 10.1109/RULEML.2006.1
M3 - Conference contribution
AN - SCOPUS:38949116595
SN - 0769526527
SN - 9780769526522
T3 - Proceedings - RuleML 2006: 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web
SP - 39
EP - 48
BT - Proceedings - RuleML 2006
T2 - RuleML 2006: 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web
Y2 - 10 October 2006 through 11 October 2006
ER -