Affiliation:
1. FORTH-ICS, Crete, Greece
2. FORTH-ICS, University of Crete, Crete, Greece
3. Universidade Nova de Lisboa, Caparica, Portugal
Abstract
We present a principled framework for modular Web rule bases, called MWeb. According to this framework, each predicate defined in a rule base is characterized by its defining reasoning mode, scope, and exporting rule base list. Each predicate used in a rule base is characterized by its requesting reasoning mode and importing rule base list. For legal MWeb modular rule bases
S
, the MWebAS and MWebWFS semantics of each rule base
s
∈
S
with respect to
S
are defined model-theoretically. These semantics extend the answer set semantics (AS) and the well-founded semantics with explicit negation (WFSX) on ELPs, respectively, keeping all of their semantical and computational characteristics. Our framework supports: (1) local semantics and different points of view, (2) local closed-world and open-world assumptions, (3) scoped negation-as-failure, (4) restricted propagation of local inconsistencies, and (5) monotonicity of reasoning, for fully shared predicates.
Funder
Swiss Federal Office for Education and Science
Publisher
Association for Computing Machinery (ACM)
Subject
Computational Mathematics,Logic,General Computer Science,Theoretical Computer Science
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Rule Module Inheritance with Modification Restrictions;Lecture Notes in Computer Science;2018
2. Answer Set Programming with External Source Access;Reasoning Web. Semantic Interoperability on the Web;2017
3. Distributed Evaluation of Nonmonotonic Multi-context Systems;Journal of Artificial Intelligence Research;2015-04-29
4. Extended RDF: Computability and complexity issues;Annals of Mathematics and Artificial Intelligence;2015-03-24
5. A framework for modular ERDF ontologies;Annals of Mathematics and Artificial Intelligence;2013-03