Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Publication details
Main information
Implementation of RIF-PRD
November 2011
FVeiga:msc
The Rule Interchange Format (RIF) is a W3C Recommendation that defines a set of dialects that aim to provide interoperability between rule systems. One of these dialects is the Rule Interchange Format Production Rule Dialect (RIF-PRD), that defines a production rules language oriented towards the Semantic Web. To the date there are no complete implementations of RIF-PRD, but a first fully declarative specification of RIF-PRD based in Answer Set Programming has been proposed in ISWC 2010. In this thesis we implement RIF-PRD following that specification and develop two other implementations, one using the production rule system Jess, and a third one using the logic programming system XSB. A comparison between the three implementations follows, allowing to check on the one hand if there are benefits in using Answer Set Programming for implementing RIF-PRD and on the other hand also perceive if there are limitations to using it.
M. Sc. dissertation
Frédéric Veiga
Carlos Viegas Damásio
Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
-
-
Export formats
Frédéric Veiga, Implementation of RIF-PRD, Carlos Viegas Damásio (superv.), Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, November 2011.
<b>Frédéric Veiga</b>, <u>Implementation of RIF-PRD</u>, <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=feecf7159d8e22c70a3bf33436444903_amp_cscd=24aa8a9efe42cd06316174b8b9427574" class="supervisor">Carlos Viegas Damásio</a> (superv.), Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, November 2011.
@mastersthesis {FVeiga:msc, author = {Fr{\'e}d{\'e}ric Veiga}, title = {Implementation of RIF-PRD}, school = {Faculdade de Ci{\^e}ncias e Tecnologia da Universidade Nova de Lisboa}, note = {Carlos Viegas Dam{\'a}sio (superv.); }, abstract = {The Rule Interchange Format (RIF) is a W3C Recommendation that defines a set of dialects that aim to provide interoperability between rule systems. One of these dialects is the Rule Interchange Format Production Rule Dialect (RIF-PRD), that defines a production rules language oriented towards the Semantic Web. To the date there are no complete implementations of RIF-PRD, but a first fully declarative specification of RIF-PRD based in Answer Set Programming has been proposed in ISWC 2010. In this thesis we implement RIF-PRD following that specification and develop two other implementations, one using the production rule system Jess, and a third one using the logic programming system XSB. A comparison between the three implementations follows, allowing to check on the one hand if there are benefits in using Answer Set Programming for implementing RIF-PRD and on the other hand also perceive if there are limitations to using it.}, month = {November}, year = {2011}, }
Publication's urls
http://centria.di.fct.unl.pt/publications/view.php?code=3c74e08a04b879dda3aa9dabb1e8e732
http://centria.di.fct.unl.pt/publications/view.php?code=FVeiga:msc
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

POS_Conhecimento