A principled framework for modular web rule bases and its semantics
Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio · 2008
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 valid MWeb modular rule bases S, theMWebAS andMWebWFS 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, and (iv) restricted propagation of local inconsistencies. Additionally, it guarantees monotonicity of reasoning, in the case that new rule bases are added to the modular rule base, while the importing rule base list of the predicates of the old rule bases remains the same.