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 usar 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 CL abstracta, que se basa en una interpretación teórica de modelos . Cada dialecto puede entonces tratarse como un lenguaje 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 CL son equivalentes (es decir, pueden traducirse automáticamente entre sí), 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.
El estándar ISO
Common Logic está publicado por ISO como "ISO / IEC 24707: 2007 - Tecnología de la información - Common Logic (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 está disponible gratuitamente en el índice ISO de estándares disponibles públicamente. [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 la lógica también podrían definirse como subconjuntos de CL mediante 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) según ISO / IEC JTC1, y se completó en octubre de 2007. Se incluye una corrección técnica que corrige algunos errores en la norma original. estando preparado en el momento.
Implementaciones
Ver también
Referencias
- ^ Sowa, John F. " Resumen de gráficos conceptuales ". Estructuras conceptuales: investigación y práctica actual 3 (1992): 66.
- ^ Organización Internacional de Normalización (ISO)
- ^ Primera edición de Common Logic Standard
- ^ Segunda edición de Common Logic Standard