TY - JOUR
T1 - MWeb
T2 - A Principled Framework for Modular Web Rule Bases and its Semantics
AU - Analyti, Anastasia
AU - Antoniou, Grigoris
AU - Damasio, Carlos Viegas
PY - 2011/1/1
Y1 - 2011/1/1
N2 - 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.
AB - 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.
KW - Local closed-world and open-world assumptions
KW - Local semantics
KW - Modular Web rule bases
KW - Scoped negation-as-failure
UR - http://www.scopus.com/inward/record.url?scp=79551675260&partnerID=8YFLogxK
U2 - 10.1145/1877714.1877723
DO - 10.1145/1877714.1877723
M3 - Article
AN - SCOPUS:79551675260
VL - 12
JO - ACM Transactions on Computational Logic
JF - ACM Transactions on Computational Logic
SN - 1529-3785
IS - 2
M1 - 17
ER -