Implementation of the RIF-PRD

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

O Rule Interchange Format (RIF) é uma recomendação da W3C que define um conjunto de dialectos para promover a interoperabilidade entre sistemas de regras. A necessidade destes dialectos proveio de um crescente número de linguagens de regras (lógicas ou de produção), com algumas tão específicas que o intercãmbio de regras entre sistemas diferentes é uma tarefa quase impossível. A criação de uma linguagem de regras convencional não seria bem aceite, como tal, a W3C optou por desenvolver o RIF, com o objectivo de fornecer uma solução para o intercãmbio de regras entre diferentes sistemas. Um dos dialectos do RIF é o Rule Interchange Format Production Rule Dialect (RIFPRD), que define uma linguagem de regras de produção orientada para a SemanticWeb. Até à data actual, não é conhecida nenhuma implementação completa de RIF-PRD, mas uma primeira especificação declarativa completa do RIF-PRD baseada em programação por conjuntos de resposta foi proposta na nona conferência internacional de Semantic Web (ISWC2010). Nesta dissertação implementamos um motor de RIF-PRD baseando-nos nessa especificação, e desenvolveremos outras duas implementações, uma utilizando o sistema de regras de produção Jess, e outra recorrendo ao sistema de programação em lógica XSB. Após terminadas as três implementações, foi feita uma comparação entre elas, com o intuito de verificar se há benefícios em utilizar programação por conjuntos de resposta para implementar RIF-PRD, e concomitantemente detectar eventuais limitações na utilização de programação por conjuntos de resposta.