Common Logic ( CL ) es un marco para una familia de lenguajes lógicos , basados 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 modelo . Cada dialecto puede entonces ser tratado como una lengua formal . Una vez que se establece la conformidad sintáctica, un dialecto obtiene la semántica CL de forma gratuita, ya que se especifican en relación con la sintaxis abstracta únicamente y, por lo tanto, son heredadas por cualquier dialecto conforme. Además, todos los dialectos de CL son comparables (es decir, pueden traducirse 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 sólo se define en un subconjunto del lenguaje más amplio.
ISO publica Common Logic como "ISO/IEC 24707:2007 - Tecnología de la información - Common Logic (CL): un marco para una familia de lenguajes basados en lógica". [2] Está disponible para su compra en el catálogo de ISO y está disponible gratuitamente en el índice de normas disponibles públicamente de ISO. [3] [4]
El estándar CL incluye especificaciones para tres dialectos, el formato de intercambio lógico común ( CLIF ) (Anexo A), el formato de intercambio de gráficos conceptuales ( CGIF ) (Anexo B) y una notación basada en XML para lógica común ( XCL ) (Anexo C ). La semántica de estos dialectos se define en el Estándar por su traducción a la sintaxis y semántica abstractas de la Lógica Común. Muchos otros lenguajes basados en lógica también podrían definirse como subconjuntos de CL mediante traducciones similares; entre ellos se encuentran los lenguajes RDF y OWL , los cuales 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. Un corrigendum técnico, corrigiendo algunos errores en la norma original, se está preparando en este momento.