<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>5</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Damásio, Carlos Viegas</style></author><author><style face="normal" font="default" size="100%">Leite, João</style></author><author><style face="normal" font="default" size="100%">Alferes, José Júlio</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Declarative Semantics for the Rule Interchange Format Production Rule Dialect</style></title><secondary-title><style face="normal" font="default" size="100%">The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Answer Set Programming</style></keyword><keyword><style  face="normal" font="default" size="100%">implementation</style></keyword><keyword><style  face="normal" font="default" size="100%">Production Rules</style></keyword><keyword><style  face="normal" font="default" size="100%">RIF-PRD</style></keyword><keyword><style  face="normal" font="default" size="100%">Rule Interchange Format</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2010</style></year><pub-dates><date><style  face="normal" font="default" size="100%">1</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://docentes.fct.unl.pt/sites/default/files/jja/files/iswc10.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">798–813</style></pages><isbn><style face="normal" font="default" size="100%">978-3-642-17745-3</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;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.&lt;br /&gt;
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.&lt;br /&gt;
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.&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record></records></xml>