Gemeinsame Logik
Gemeinsame Logik (Cl) ist ein Rahmen für eine Familie von Logiksprachen, bezogen auf Logik erster Ordnung, um den Austausch und die Übertragung von zu erleichtern Wissen in Computer-basierte Systeme.[1]
Die CL -Definition erlaubt und fördert die Entwicklung einer Vielzahl verschiedener syntaktischer Formen, genannt Dialekte. Ein Dialekt kann jede gewünschte Syntax verwenden, aber es muss möglich sein, genau zu demonstrieren, wie die Betonsyntax eines Dialekts der abstrakten CL -Semantik entspricht, die auf einem basiert Modell Theoretisch Deutung. Jeder Dialekt kann dann als als behandelt werden formelle Sprache. Sobald die syntaktische Konformität festgelegt ist, erhält ein Dialekt die CL -Semantik kostenlos, da sie relativ zur abstrakten Syntax spezifiziert sind und daher durch einen konformanten Dialekt vererbt werden. Darüber hinaus sind alle CL -Dialekte äquivalent (d. H. Sie können automatisch zueinander übersetzt werden), obwohl einige möglicherweise ausdrucksvoller sind als andere.
Im Allgemeinen kann eine weniger ausdrucksstarke Untergruppe von CL in eine ausdruckswertere Version von CL übersetzt werden, aber die umgekehrte Übersetzung wird nur auf einer Teilmenge der größeren Sprache definiert.
Der ISO -Standard
Gemeinsame Logik wird von veröffentlicht von ISO als "ISO/IEC 24707: 2007 - Informationstechnologie - Common Logic (CL): Ein Rahmen für eine Familie logischer Sprachen".[2] Es ist im ISO -Katalog zum Kauf erhältlich und im ISO -Index für öffentlich verfügbare Standards frei erhältlich.[3][4]
Der CL -Standard enthält Spezifikationen für drei Dialekte, die Gemeinsames Logik -Austauschformat (Clif) (Anhang A), die Konzeptionaler Graphen -Austauschformat (CGIF) (Anhang B) und A. Xml-basierte Notation für gemeinsame Logik (Xcl) (Anhang C). Die Semantik dieser Dialekte wird im Standard durch ihre Übersetzung zur abstrakten Syntax und der Semantik der gemeinsamen Logik definiert. Viele andere logikbasierte Sprachen könnten auch als Teilmengen von CL durch ähnliche Übersetzungen definiert werden. Unter ihnen sind die RDF und EULE Sprachen, die durch die definiert wurden W3c.
Die Entwicklung des ISO-Standards begann im Juni 2003 unter Arbeitsgruppe 2 (Metadaten) des Unterausschusses 32 (Data Interchange) unter ISO/IEC JTC1 und wurde im Oktober 2007 abgeschlossen. Ein technischer Korrigendum, der einige Fehler im ursprünglichen Standard korrigiert, ist zu der Zeit vorbereitet sein.
Implementierungen
- Colore ist ein Repository der gemeinsamen Logik -Ontologien
- Hets Unterstützt gemeinsame Logik
- Cltools ist eine Prologbibliothek mit teilweise Unterstützung für die gemeinsame Logik
Siehe auch
Verweise
- ^ Sowa, John F. "Konzeptionale Graphen Zusammenfassung. "Konzeptionelle Strukturen: Aktuelle Forschung und Praxis 3 (1992): 66.
- ^ Internationale Organisation für Standardisierung (ISO)
- ^ Common Logic Standard Erstausgabe
- ^ Gemeinsame logische Standardausgabe