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
Declarative Semantics for the Rule Interchange Format Production Rule Dialect
November 2010
DamasioAL10:iswc
In this paper, we introduce a declarative logical characterization of the full default semantics of RIF-PRD based on Answer Set Programming (ASP), including matching, conflict resolution and acting. Our proposal to the semantics of RIF-PRD enjoys several features. Being based on ASP, it enables a straightforward integration with Logic Programming rule based technology, namely for reasoning and acting with ontologies. Then, its full declarative logical character facilitates the investigation of formal properties of RIF-PRD itself. Furthermore, it turns out that our characterization based on ASP is flexible enough so that new conflict resolution semantics for RIF-PRD can easily be defined and encoded. Finally, it immediately serves as the declarative specification of an implementation, whose prototype we developed.
In proceedings
Carlos Viegas Damásio, José Júlio Alferes, João Alexandre Leite
International Semantic Web Conference (ISWC 2010)
Lecture Notes in Computer Science
Springer
Shangai, China
6496
798-813
978-3-642-17745-3
-
-
-
Export formats
Carlos Viegas Damásio and José Júlio Alferes and João Alexandre Leite, Declarative Semantics for the Rule Interchange Format Production Rule Dialect, , International Semantic Web Conference (ISWC 2010), Lecture Notes in Computer Science, Springer, Shangai, China, Vol. 6496, ISBN 978-3-642-17745-3, Pag. 798-813, November 2010.
<a href="/people/members/view.php?code=feecf7159d8e22c70a3bf33436444903" class="author">Carlos Viegas Damásio</a>, <a href="/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7" class="author">José Júlio Alferes</a> and <a href="/people/members/view.php?code=800422e134adba52f1598f74c166ce4a" class="author">João Alexandre Leite</a>, <b>Declarative Semantics for the Rule Interchange Format Production Rule Dialect</b>, <u>International Semantic Web Conference (ISWC 2010)</u>, Lecture Notes in Computer Science, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Shangai, China, Vol. 6496, ISBN 978-3-642-17745-3, Pag. 798-813, November 2010.
@inproceedings {DamasioAL10:iswc, author = {Carlos Viegas Dam{\'a}sio and Jos{\'e} J{\'u}lio Alferes and Jo{\~a}o Alexandre Leite}, title = {Declarative Semantics for the Rule Interchange Format Production Rule Dialect}, booktitle = {International Semantic Web Conference (ISWC 2010)}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, address = {Shangai, China}, volume = {6496}, pages = {798-813}, isbn = {978-3-642-17745-3}, abstract = {In this paper, we introduce a declarative logical characterization of the full default semantics of RIF-PRD based on Answer Set Programming (ASP), including matching, conflict resolution and acting. Our proposal to the semantics of RIF-PRD enjoys several features. Being based on ASP, it enables a straightforward integration with Logic Programming rule based technology, namely for reasoning and acting with ontologies. Then, its full declarative logical character facilitates the investigation of formal properties of RIF-PRD itself. Furthermore, it turns out that our characterization based on ASP is flexible enough so that new conflict resolution semantics for RIF-PRD can easily be defined and encoded. Finally, it immediately serves as the declarative specification of an implementation, whose prototype we developed.}, keywords = {RIF-PRD, Rule Interchange Format, Production Rules, Answer Set Programming, Implementation}, month = {November}, year = {2010}, }
Publication's urls
/publications/view.php?code=40c8229afc44874f518da9b507e0f354
/publications/view.php?code=DamasioAL10:iswc
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