Dissertations details

  • Implementation of RIF-PRD
  • Nov 2011
  • 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.
  • Faculdade de Ciências e Tecnologia, UNL
  • Frédéric Veiga
  • Carlos Viegas Damásio