Declarative Semantics for the Rule Interchange Format Production Rule Dialect

Carlos Augusto Isaac Piló Viegas Damásio; João Alexandre Carvalho Pinheiro Leite; José Júlio Alves Alferes

doi:10.1007/978-3-642-17746-0_50

Declarative Semantics for the Rule Interchange Format Production Rule Dialect

Carlos Augusto Isaac Piló Viegas Damásio, João Alexandre Carvalho Pinheiro Leite, José Júlio Alves Alferes

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

9 Citations (Scopus)

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 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.

Original language	Unknown
Title of host publication	Lecture Notes in Computer Science
Pages	798-813
DOIs	https://doi.org/10.1007/978-3-642-17746-0_50
Publication status	Published - 1 Jan 2010
Event	International Semantic Web Conference (ISWC) - Duration: 1 Jan 2010 → …

Conference

Conference	International Semantic Web Conference (ISWC)
Period	1/01/10 → …

Access to Document

10.1007/978-3-642-17746-0_50

Cite this

@inproceedings{e72565467ed9497bb1f4c25348c933d5,

title = "Declarative Semantics for the Rule Interchange Format Production Rule Dialect",

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 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 = "Rule Interchange Format, RIF-PRD, Answer Set Programming, Implementation, Production Rules",

author = "Dam{\'a}sio, {Carlos Augusto Isaac Pil{\'o} Viegas} and Leite, {Jo{\~a}o Alexandre Carvalho Pinheiro} and Alferes, {Jos{\'e} J{\'u}lio Alves}",

year = "2010",

month = jan,

day = "1",

doi = "10.1007/978-3-642-17746-0_50",

language = "Unknown",

isbn = "978-3-642-17745-3",

pages = "798--813",

booktitle = "Lecture Notes in Computer Science",

note = "International Semantic Web Conference (ISWC) ; Conference date: 01-01-2010",

}

TY - GEN

T1 - Declarative Semantics for the Rule Interchange Format Production Rule Dialect

AU - Damásio, Carlos Augusto Isaac Piló Viegas

AU - Leite, João Alexandre Carvalho Pinheiro

AU - Alferes, José Júlio Alves

PY - 2010/1/1

Y1 - 2010/1/1

N2 - 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 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.

AB - 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 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.

KW - Rule Interchange Format

KW - RIF-PRD

KW - Answer Set Programming

KW - Implementation

KW - Production Rules

U2 - 10.1007/978-3-642-17746-0_50

DO - 10.1007/978-3-642-17746-0_50

M3 - Conference contribution

SN - 978-3-642-17745-3

SP - 798

EP - 813

BT - Lecture Notes in Computer Science

T2 - International Semantic Web Conference (ISWC)

Y2 - 1 January 2010

ER -