現代の情報技術において、異なる論理ベースの言語間で情報を正確にやり取りするための共通基盤が不可欠です。その解決策として策定されたのが、Common Logic (CL) です。これは、多様な論理言語を統合するためのフレームワークとして、国際標準化機構（ISO）によって定義されています。
Key Facts
- 正式名称： ISO/IEC 24707:2007 — Information technology — Common Logic (CL): a framework for a family of logic-based languages
- 目的： 論理ベースの言語ファミリーのための共通フレームワークの提供
- 主要な表記法： CLIF、CGIF、XCLの3つのダイアレクト（方言）を規定
- 互換性： W3Cが定義するRDFやOWLなどの言語をサブセットとして定義可能
- 策定期間： 2003年6月に開始し、2007年10月に完了
Common Logicの構造と仕様
Common Logicの最大の特徴は、単一の言語ではなく、複数の論理言語を包含する「フレームワーク」である点にあります。この標準規格では、具体的に3つの異なる表記法（ダイアレクト）が定義されており、それぞれが異なる用途や形式に対応しています。
- CLIF (Common Logic Interchange Format)： 共通論理交換形式。
- CGIF (Conceptual Graph Interchange Format)： 概念グラフ交換形式。
- XCL (XML-based notation for Common Logic)： XMLベースの表記法。
これらの異なる表記法は、Common Logicの抽象的な構文と意味論へと翻訳されることで、その整合性が保たれています。これにより、形式が異なるデータであっても、論理的な意味を損なうことなく相互運用することが可能になります。
他言語との関係性と標準化の経緯
Common Logicは、他の多くの論理ベース言語の基盤となり得ます。例えば、W3C（World Wide Web Consortium）が策定したRDF（Resource Description Framework）やOWL（Web Ontology Language）といったセマンティックウェブで利用される言語も、適切な翻訳プロセスを経ることでCLのサブセットとして定義することが可能です。
この規格の策定は、ISO/IEC JTC 1のサブコミッティー32（データ交換）およびワーキンググループ2（メタデータ）の主導で行われました。2003年6月に開発がスタートし、約4年の歳月をかけて2007年10月に完成に至りました。なお、公開後の精度向上のため、一部の誤りを修正する技術的な正誤表（corrigendum）の作成も進められています。
Common Logic 標準規格のまとめ
| 項目 | 詳細内容 |
|---|---|
| 規格番号 | ISO/IEC 24707:2007 |
| 定義されている表記法 | CLIF, CGIF, XCL |
| 対応可能な外部言語 | RDF, OWL など |
| 策定主体 | ISO/IEC JTC 1 (SC 32/WG 2) |
| 入手方法 | ISOカタログでの購入、または公開標準インデックスから無料で利用可能 |
Frequently Asked Questions
Common Logicとは具体的に何をするための規格ですか？
異なる論理ベースの言語間で情報を交換するための共通の枠組み（フレームワーク）を提供する規格です。これにより、異なる形式の論理言語を共通の抽象的な意味論に統合できます。
CLIF、CGIF、XCLの違いは何ですか？
これらはCommon Logicを表現するための異なる「方言」です。CLIFは交換形式、CGIFは概念グラフ形式、XCLはXML形式を採用しており、用途に応じて使い分けられますが、すべては共通の意味論に翻訳されます。
RDFやOWLとの関係性はありますか？
はい。W3Cが定義しているRDFやOWLなどの言語は、Common Logicへの翻訳を通じて、CLのサブセット（部分集合）として定義することが可能です。
この規格はどこで入手できますか？
ISOの公式カタログから購入できるほか、ISOが提供している公開標準のインデックスから無料で入手することも可能です。
規格の策定にはどれくらいの期間がかかりましたか？
2003年6月に開発が始まり、2007年10月に完了したため、約4年半の期間を要しました。