@inbook {e72565467ed9497bb1f4c25348c933d5, title = {Declarative Semantics for the Rule Interchange Format Production Rule Dialect}, booktitle = {The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference}, year = {2010}, note = {

n/a

}, month = {1}, pages = {798{\textendash}813}, publisher = {Springer}, organization = {Springer}, abstract = {

TheRuleInterchangeFormatProductionRuleDialect(RIF- PRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operationally via labeled ter- minal transition systems.
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 in- vestigation 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 = {Answer Set Programming, implementation, Production Rules, RIF-PRD, Rule Interchange Format}, isbn = {978-3-642-17745-3}, doi = {10.1007/978-3-642-17746-0_50}, attachments = {https://docentes.fct.unl.pt/sites/default/files/jja/files/iswc10.pdf}, author = {Dam{\'a}sio, Carlos Viegas and Leite, Jo{\~a}o and Alferes, Jos{\'e} J{\'u}lio} }