Formato de intercambio de reglas

RIF , Rule Interchange Format (“formato de intercambio de reglas”) es el formato estándar de la Web Semántica para proporcionar interacción entre sistemas basados ​​en reglas ( en inglés  rule-based system ) [1] . Ha sido una recomendación del W3C desde el 22 de junio de 2010 [2] .

Originalmente pensada como una capa de abstracción para manejar las reglas en la Web Semántica, en realidad está diseñada para permitir la interoperabilidad entre diferentes lenguajes de reglas [3] .

Descripción

RIF incluye tres dialectos: un dialecto central, que se puede extender a un dialecto lógico básico (BLD) y un dialecto de regla de producción (PRD). [4] [5] :

• El dialecto RIF-Core corresponde a Datalog , es decir, lógica Horn sin símbolos de función, con extensiones para admitir objetos, marcos y F-logic .
• El dialecto RIF-BLD es teóricamente el lenguaje de ciertas reglas de Horn y la semántica estándar de la lógica de primer orden. Corresponde a sistemas basados ​​en las reglas de inferencia [6] .
• El dialecto RIF-PRD pretende cubrir los aspectos principales de varios sistemas de productos . Las reglas de producción consisten en una condición y una acción: SI y ENTONCES. Las condiciones son similares a las que se utilizan en RIF-Core y RIF-BLD, y las acciones se interpretan de acuerdo con la semántica operativa de RDF-PRD y pueden consistir en agregar, eliminar, cambiar hechos de la base de conocimiento y causar otros efectos secundarios.

Notas

1. ↑ Dean Allemang, James Hendler. Web semántica para el ontólogo trabajador. - 2ª Ed.. - Morgan Kaufmann, 2011. - 384 p. - ISBN 978-0-12-385965-5 . , Experto en modelado en OWL
2. ↑ Dialecto central RIF . Consultado el 13 de junio de 2015. Archivado desde el original el 28 de noviembre de 2014. (indefinido)
3. ↑ Kifer, Michael (2008). " Formato de intercambio de reglas: el marco  (enlace no disponible) ". en: Razonamiento Web y Sistemas de Reglas. Apuntes de clase en informática
4. ↑ Resumen de RIF . Consultado el 13 de junio de 2015. Archivado desde el original el 21 de agosto de 2015. (indefinido)
5. ↑ Straccia, 2013 , Capítulo 5. Lenguajes de reglas.
6. ↑ Estructura de RIF Archivado el 19 de junio de 2015 en Wayback Machine , Casos de uso y requisitos de RIF (segunda edición), W3C

Literatura

• Juan Hebeler; Mateo Fisher; ryan blace Andrew Pérez-López; Mike Decano. Formato de intercambio de reglas // Programación web semántica . - John Wiley & Sons, 2009. - 646 p. — ISBN 978-0-470-41801-7 .
• Umberto Stracia. Fundamentos de Lógica Difusa y Lenguajes de Web Semántica. - Prensa CRC, 2013. - 386 p. - ISBN 978-1-4398-5348-1 .

Enlaces

• Dialecto básico de RIF (segunda edición) , W3C