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
A Principled Framework for Modular Web Rule Bases and its Semantics
September 2008
AnalytiAD08:KR
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, 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.
In proceedings
Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio
G. Brewka, Jérôme Lang
Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference (KR 2008)
-
AAAI
Sydney, Australia
-
390-400
978-1-57735-384-3
-
-
http://www.ics.forth.gr/~analyti/Local_Papers/OpenClosed_KR08_final_pv.pdf
Export formats
Anastasia Analyti and Grigoris Antoniou and Carlos Viegas Damásio, A Principled Framework for Modular Web Rule Bases and its Semantics, in: G. Brewka and Jérôme Lang (eds), Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference (KR 2008), AAAI, Sydney, Australia, ISBN 978-1-57735-384-3, Pag. 390-400, (http://www.ics.forth.gr/~analyti/Local_Papers/OpenClosed_KR08_final_pv.pdf), September 2008.
Anastasia Analyti, Grigoris Antoniou and <a href="/people/members/view.php?code=feecf7159d8e22c70a3bf33436444903" class="author">Carlos Viegas Damásio</a>, <b>A Principled Framework for Modular Web Rule Bases and its Semantics</b>, in: G. Brewka and Jérôme Lang (eds), <u>Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference (KR 2008)</u>, AAAI, Sydney, Australia, ISBN 978-1-57735-384-3, Pag. 390-400, (<a href="http://www.ics.forth.gr/~analyti/Local_Papers/OpenClosed_KR08_final_pv.pdf" target="_blank">url</a>), September 2008.
@inproceedings {AnalytiAD08:KR, author = {Anastasia Analyti and Grigoris Antoniou and Carlos Viegas Dam{\'a}sio}, editor = {G. Brewka and J{\'e}rôme Lang}, title = {A Principled Framework for Modular Web Rule Bases and its Semantics}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference (KR 2008)}, publisher = {AAAI}, address = {Sydney, Australia}, pages = {390-400}, isbn = {978-1-57735-384-3}, url = {http://www.ics.forth.gr/~analyti/Local_Papers/OpenClosed_KR08_final_pv.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 valid 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.}, month = {September}, year = {2008}, }
Publication's urls
/publications/view.php?code=1bd11395765c735aaf23ad7cac8a1e70
/publications/view.php?code=AnalytiAD08:KR
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