共通論理

Common_Logic

 「共通論理」  
Common Logic（CL）は、一階述語論理に基づく論理言語ファミリーのフレームワークであり、コンピューターベースのシステムでの知識の交換と伝達を容易にすることを目的としています。
CLの定義は、方言と呼ばれるさまざまな構文形式の開発を許可および奨励します。方言は任意の構文を使用できますが、方言の具体的な構文がモデル理論の解釈に基づく抽象的なCLセマンティクスにどのように準拠しているかを正確に示すことができなければなりません。その後、各方言は形式言語として扱われる可能性が構文の適合性が確立されると、方言はCLセマンティクスを無料で取得します。これは、抽象構文に対してのみ指定されているため、適合した方言に継承されるためです。さらに、すべてのCL方言は同等です（つまり、互いに自動的に翻訳できます）が、一部の方言は他の方言よりも表現力に富んでいる場合が
一般に、表現力の低いCLのサブセットは、表現力の高いバージョンのCLに翻訳されますが、逆翻訳は、より大きな言語のサブセットでのみ定義されます。

コンテンツ
1 ISO規格
2 実装
3 も参照してください
4 参考文献

ISO規格
Common Logicは、ISOによって「ISO / IEC24707：2007-情報技術-Common Logic（CL）：ロジックベースの言語ファミリのフレームワーク」として公開されています。 ISOのカタログから購入でき、ISOの公に利用可能な規格のインデックスから無料で入手できます。
CL標準には、共通論理交換形式（CLIF）（付録A）、概念グラフ交換形式（CGIF）（付録B）、および共通論理（XCL）のXMLベースの表記（付録C）の3つの方言の仕様が含まれています。）。これらの方言のセマンティクスは、共通論理の抽象構文とセマンティクスへの変換によって標準で定義されています。他の多くのロジックベースの言語も、同様の翻訳によってCLのサブセットとして定義できます。その中には、W3Cによって定義されたRDFおよびOWL言語が
ISO規格の開発は、ISO / IEC JTC1に基づく小委員会32（データ交換）のワーキンググループ2（メタデータ）の下で2003年6月に始まり、2007年10月に完了しました。とりあえず準備中です。

実装
COLOREは、Common LogicOntologiesのリポジトリです。
Hetsは共通論理をサポートします
cltoolsは、共通論理を部分的にサポートするPROLOGライブラリです。

も参照してください
概念グラフ
知識交換形式（KIF）
知識表現言語

参考文献
^ Sowa、JohnF。「概念グラフの要約。」概念構造：現在の研究と実践3（1992）：66。
^ 国際標準化機構（ISO） ^ Common Logic Standard First Edition ^ Common Logic Standard Second Edition

「https://en.wikipedia.org/w/index.php?title=Common_Logic&oldid=1027022892」
から取得”