Computing and Library Services - delivering an inspiring information environment

MWeb: A principled framework for modular web rule bases and its semantics

Analyti, Anastasia, Antoniou, Grigoris and Damasio, Carlos Viegas (2011) MWeb: A principled framework for modular web rule bases and its semantics. ACM Transactions on Computational Logic, 12 (2). p. 17. ISSN 1557-945X

[img] PDF - Published Version
Restricted to Repository staff only

Download (600kB)


    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 ex-
    plicit 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 propa-
    gation of local inconsistencies, and (v) monotonicity of reasoning, for “fully shared” predicates.

    Item Type: Article
    Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
    Schools: School of Computing and Engineering
    Related URLs:
    Depositing User: Grigoris Antoniou
    Date Deposited: 03 Jul 2012 13:37
    Last Modified: 03 Jul 2012 13:37


    Downloads per month over past year

    Repository Staff Only: item control page

    View Item

    University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©