Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
MWeb: A principled framework for modular web rule bases and its semantics.
January 2011
DBLP:journals/tocl/AnalytiAD11
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.
Journal
Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio
ACM Transactions on Computational Logic
ACM
New York, NY, USA
12
2
Article #17, 41 pages
-
1529-3785
-
http://tocl.acm.org/accepted/402analyti.pdf
Export formats
Anastasia Analyti and Grigoris Antoniou and Carlos Viegas Damásio, MWeb: A principled framework for modular web rule bases and its semantics., ACM Transactions on Computational Logic, Vol. 12, No. 2, Pag. Article #17, 41 pages, ACM, New York, NY, USA, ISSN 1529-3785, (http://tocl.acm.org/accepted/402analyti.pdf), January 2011.
<b>Anastasia Analyti, Grigoris Antoniou and <a href="/people/members/view.php?code=feecf7159d8e22c70a3bf33436444903" class="author">Carlos Viegas Damásio</a></b>, <u>MWeb: A principled framework for modular web rule bases and its semantics.</u>, ACM Transactions on Computational Logic, Vol. 12, No. 2, Pag. Article #17, 41 pages, <a href="http://www.acm.org/pubs/" title="Link to external entity..." target="_blank" class="publisher">ACM</a>, New York, NY, USA, ISSN 1529-3785, (<a href="http://tocl.acm.org/accepted/402analyti.pdf" target="_blank">url</a>), January 2011.
@article {DBLP:journals/tocl/AnalytiAD11, author = {Anastasia Analyti and Grigoris Antoniou and Carlos Viegas Dam{\'a}sio}, title = {MWeb: A principled framework for modular web rule bases and its semantics.}, journal = {ACM Transactions on Computational Logic}, publisher = {ACM}, address = {New York, NY, USA}, volume = {12}, number = {2}, pages = {Article #17, 41 pages}, issn = {1529-3785}, url = {http://tocl.acm.org/accepted/402analyti.pdf}, 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.}, keywords = {modular web rule bases, local semantics, local closed-world and open-world assumptions, scoped negation-as-failure.}, month = {January}, year = {2011}, }
Publication's urls
/publications/view.php?code=654bd0e6f9324838d14e34dd532c0bf6
/publications/view.php?code=DBLP:journals/tocl/AnalytiAD11
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT