DMCA
MWeb: a Principled Framework for Modular Web Rule Bases and its Semantics
Cached
Download Links
| Citations: | 11 - 2 self |
BibTeX
@MISC{Analyti_mweb:a,
author = {Anastasia Analyti and Grigoris Antoniou and Carlos Viegas Damásio},
title = {MWeb: a Principled Framework for Modular Web Rule Bases and its Semantics},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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 w.r.t. 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: (i) local semantics and different points of view, (ii) local closed-world and open-world assumptions, (iii) scoped negation-as-failure, (iv) restricted propagation of local inconsistencies, and (v) monotonicity of reasoning, for “fully shared ” predicates.
Keyphrases
modular web rule base principled framework rule base explicit negation local semantics local closed-world framework support computational characteristic legal mweb modular rule base open-world assumption well-founded semantics reasoning mode rule base list different point mwebwfs semantics local inconsistency importing rule base list
