Filters








2 Hits in 1.1 sec

ASP-PROLOG: Composition and Interoperation of Rules

Enrico Pontelli
2007 International Conference on Logic Programming  
The idea is to combine the ASP-Prolog framework of [5] with the notations for modularization of answer set programming of [2] .  ...  In this work, we propose a general framework to address the problem of (i) interoperation between knowledge bases encoded using different RuleML languages, and (ii) development and integration of different  ... 
dblp:conf/iclp/Pontelli07 fatcat:s3htkp67bzgjxjz5ud57bqgqwa

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)  
In this paper we describe the basic syntax and semantics of the framework, and its preliminary implementation in the ASP-Prolog system.  ...  The framework allows the derivation of logic programming modules from each rule base, and their interoperation through a well-defined module interface.  ...  ASP-Prolog [14] , on which the work described in this paper builds, is a system that provides Prolog programs with the ability to seamlessly access modules processed under answer set semantics.  ... 
doi:10.1109/ruleml.2006.1 dblp:conf/ruleml/PontelliSB06 fatcat:4gqgqqaqeffgza2f73wokm324m