gemeenschappelijke logica - Common Logic
Common Logic ( CL ) is een raamwerk voor een familie van logische talen , gebaseerd op eerste-orde logica , bedoeld om de uitwisseling en overdracht van kennis in computergebaseerde systemen te vergemakkelijken .
De CL-definitie staat de ontwikkeling toe en stimuleert de ontwikkeling van een verscheidenheid aan verschillende syntactische vormen, dialecten genaamd . Een dialect mag elke gewenste syntaxis gebruiken, maar het moet mogelijk zijn om precies aan te tonen hoe de concrete syntaxis van een dialect overeenstemt met de abstracte CL-semantiek, die gebaseerd is op een modeltheoretische interpretatie. Elk dialect kan dan worden behandeld als een formele taal . Zodra syntactische conformiteit tot stand is gebracht, krijgt een dialect de CL-semantiek gratis, omdat ze alleen worden gespecificeerd ten opzichte van de abstracte syntaxis en daarom worden overgenomen door elk conformant dialect. Bovendien zijn alle CL-dialecten equivalent (dwz kunnen automatisch naar elkaar worden vertaald), hoewel sommige expressiever kunnen zijn dan andere.
In het algemeen kan een minder expressieve subset van CL worden vertaald naar een meer expressieve versie van CL, maar de omgekeerde vertaling wordt alleen gedefinieerd op een subset van de grotere taal.
De ISO-norm
Common Logic wordt door ISO gepubliceerd als "ISO/IEC 24707:2007 - Informatietechnologie - Common Logic (CL): een raamwerk voor een familie van op logica gebaseerde talen". Het is te koop in de ISO-catalogus en is vrij verkrijgbaar in de ISO-index van openbaar beschikbare normen.
De CL-standaard bevat specificaties voor drie dialecten, het Common Logic Interchange Format ( CLIF ) (Annex A), het Conceptual Graph Interchange Format ( CGIF ) (Annex B), en een op XML gebaseerde notatie voor Common Logic ( XCL ) (Annex C ). De semantiek van deze dialecten wordt in de Standaard gedefinieerd door hun vertaling naar de abstracte syntaxis en semantiek van Common Logic. Veel andere op logica gebaseerde talen kunnen ook worden gedefinieerd als subsets van CL door middel van vergelijkbare vertalingen; onder hen zijn de RDF- en OWL- talen, die zijn gedefinieerd door de W3C .
De ontwikkeling van de ISO-norm begon in juni 2003 onder Werkgroep 2 (Metadata) van Subcommissie 32 (Data Interchange) onder ISO/IEC JTC1 en werd voltooid in oktober 2007. Een technisch corrigendum, waarin enkele fouten in de oorspronkelijke norm worden gecorrigeerd, is wordt op dit moment voorbereid.
Implementaties
- COLORE is een opslagplaats van Common Logic Ontologieën
- Hets ondersteunt Common Logic
- cltools is een PROLOG-bibliotheek met gedeeltelijke ondersteuning voor Common Logic
