Common Logic ( CL ) es un marco para una familia de lenguajes lógicos , basado en la lógica de primer orden , destinado a facilitar el intercambio y la transmisión de conocimientos en sistemas informáticos . [1]
La definición de CL permite y fomenta el desarrollo de una variedad de formas sintácticas diferentes, llamadas dialectos . Un dialecto puede utilizar cualquier sintaxis deseada, pero debe ser posible demostrar con precisión cómo la sintaxis concreta de un dialecto se ajusta a la semántica abstracta de CL, que se basa en una interpretación teórica de modelos . Cada dialecto puede entonces ser tratado como un lenguaje formal . Una vez que se establece la conformidad sintáctica, un dialecto obtiene la semántica de CL de forma gratuita, ya que se especifica solo en relación con la sintaxis abstracta y, por lo tanto, se hereda por cualquier dialecto conforme. Además, todos los dialectos de CL son comparables (es decir, se pueden traducir automáticamente a un idioma común), aunque algunos pueden ser más expresivos que otros.
En general, un subconjunto menos expresivo de CL puede traducirse a una versión más expresiva de CL, pero la traducción inversa solo se define en un subconjunto del lenguaje más grande.
La norma ISO publica Common Logic como "ISO/IEC 24707:2007 - Tecnología de la información - Lógica común (CL): un marco para una familia de lenguajes basados en la lógica". [2] Está disponible para su compra en el catálogo de ISO y se encuentra disponible de forma gratuita en el índice de normas públicas de ISO. [3] [4]
El estándar CL incluye especificaciones para tres dialectos, el Common Logic Interchange Format ( CLIF ) (Anexo A), el Conceptual Graph Interchange Format ( CGIF ) (Anexo B), y una notación basada en XML para Common Logic ( XCL ) (Anexo C). La semántica de estos dialectos se define en el estándar por su traducción a la sintaxis abstracta y semántica de Common Logic. Muchos otros lenguajes basados en lógica también podrían definirse como subconjuntos de CL por medio de traducciones similares; entre ellos se encuentran los lenguajes RDF y OWL , que han sido definidos por el W3C .
El desarrollo de la norma ISO comenzó en junio de 2003 bajo el Grupo de Trabajo 2 (Metadatos) del Subcomité 32 (Intercambio de Datos) bajo ISO/IEC JTC 1 , y se completó en octubre de 2007. En este momento se está preparando un corrigendum técnico que corrige algunos errores en la norma original.