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 Formal Theory for Modular ERDF Ontologies
October 2009
ERDF:RR2009
The success of the Semantic Web is impossible without any form of modularity, encapsulation, and access control. In an earlier paper, we extended RDF graphs with weak and strong negation, as well as derivation rules. The ERDF #n-stable model semantics of the extended RDF framework (ERDF) is defined, extending RDF(S) semantics. In this paper, we propose a framework for modular ERDF ontologies, called modular ERDF framework, which enables collaborative reasoning over a set of ERDF ontologies, while support for hidden knowledge is also provided. In particular, the modular ERDF stable model semantics of modular ERDF ontologies is defined, extending the ERDF #n-stable model semantics. Our proposed framework supports local semantics and different points of view, local closed-world and open-world assumptions, and scoped negation-as-failure. Several complexity results are provided.
In proceedings
Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio
Axel Polleres, Terrance Swift
Web Reasoning and Rule Systems, Third International Conference, RR 2009
Lecture Notes in Computer Science
Springer
Chantilly, VA, USA
5837
212-226
978-3-642-05081-7
-
-
http://www.ics.forth.gr/~analyti/Local_Papers/ERDF_RR09_final_pv.pdf
Export formats
Anastasia Analyti and Grigoris Antoniou and Carlos Viegas Damásio, A Formal Theory for Modular ERDF Ontologies, in: Axel Polleres and Terrance Swift (eds), Web Reasoning and Rule Systems, Third International Conference, RR 2009, Lecture Notes in Computer Science, Springer, Chantilly, VA, USA, Vol. 5837, ISBN 978-3-642-05081-7, Pag. 212-226, (http://www.ics.forth.gr/~analyti/Local_Papers/ERDF_RR09_final_pv.pdf), October 2009.
Anastasia Analyti, Grigoris Antoniou and <a href="/people/members/view.php?code=feecf7159d8e22c70a3bf33436444903" class="author">Carlos Viegas Damásio</a>, <b>A Formal Theory for Modular ERDF Ontologies</b>, in: Axel Polleres and <a href="/people/members/view.php?code=v175f8262e2ff877fba2ad77784cb9ca" class="editor">Terrance Swift</a> (eds), <u>Web Reasoning and Rule Systems, Third International Conference, RR 2009</u>, Lecture Notes in Computer Science, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Chantilly, VA, USA, Vol. 5837, ISBN 978-3-642-05081-7, Pag. 212-226, (<a href="http://www.ics.forth.gr/~analyti/Local_Papers/ERDF_RR09_final_pv.pdf" target="_blank">url</a>), October 2009.
@inproceedings {ERDF:RR2009, author = {Anastasia Analyti and Grigoris Antoniou and Carlos Viegas Dam{\'a}sio}, editor = {Axel Polleres and Terrance Swift}, title = {A Formal Theory for Modular ERDF Ontologies}, booktitle = {Web Reasoning and Rule Systems, Third International Conference, RR 2009}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, address = {Chantilly, VA, USA}, volume = {5837}, pages = {212-226}, isbn = {978-3-642-05081-7}, url = {http://www.ics.forth.gr/~analyti/Local_Papers/ERDF_RR09_final_pv.pdf}, abstract = {The success of the Semantic Web is impossible without any form of modularity, encapsulation, and access control. In an earlier paper, we extended RDF graphs with weak and strong negation, as well as derivation rules. The ERDF #n-stable model semantics of the extended RDF framework (ERDF) is defined, extending RDF(S) semantics. In this paper, we propose a framework for modular ERDF ontologies, called modular ERDF framework, which enables collaborative reasoning over a set of ERDF ontologies, while support for hidden knowledge is also provided. In particular, the modular ERDF stable model semantics of modular ERDF ontologies is defined, extending the ERDF #n-stable model semantics. Our proposed framework supports local semantics and different points of view, local closed-world and open-world assumptions, and scoped negation-as-failure. Several complexity results are provided.}, keywords = {Modularity, Semantic Web, Extended RDF, Rules}, month = {October}, year = {2009}, }
Publication's urls
/publications/view.php?code=884a9ec5287a69c43aeb74317e4bae5a
/publications/view.php?code=ERDF:RR2009
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