Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2010/paper/307> ?p ?o. }
Showing items 1 to 11 of
11
with 100 items per page.
- 307 creator carlos-viegas-damasio.
- 307 creator joao-leite.
- 307 creator jose-julio-alferes.
- 307 type InProceedings.
- 307 label "Declarative Semantics for the Rule Interchange Format Production Rule Dialect".
- 307 sameAs 307.
- 307 abstract "The Rule Interchange Format Production Rule Dialect (RIF-PRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operationally via labeled terminal 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 Pro- gramming 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.".
- 307 hasAuthorList authorList.
- 307 isPartOf proceedings.
- 307 keyword "semantic web".
- 307 title "Declarative Semantics for the Rule Interchange Format Production Rule Dialect".