L72 ICS 35.060
GB 中华人民共和国国家标准 GB/T30880-2014/ISO/IEC24707:2007
信息技术通用逻辑（CL）：基于逻辑的 语言族框架
Information technology-Common Logic(CL): a framework for a family of logic-based languages (ISO/IEC 24707:2007,IDT)
2014-09-03发布2015-02-01实施 中华人民共和国国家质量监督检验检疫总局发布 中国国家标准化管理委员会
GB/T30880-2014/ISO/IEC24707:2007
目次
前言 引言 1范围 2规范性引用文件 3术语和定义 4符号和缩略语 5要求和设计概览5 6通用逻辑抽象语法与语义6 符合性.16 附录A（规范性附录）通用逻辑交换格式(CLIF)19 A.1概述19 A.2 CLIF语法20 A.3 CLIF语义26 A.4 CLIF 符合性27 附录B（规范性附录）概念图交换格式(CGIF)29 B.1引言29 B.2概念图核心语法和语义35 B.3扩展的CGIF语法39 B.4 CGIF符合性45 附录C（规范性附录）可扩展通用逻辑置标语言（XCL)49 C.1引言49 C.2 XCL语法49 C.3 XCL语义66 C.4 XCL 符合性66 参考文献67
GB/T30880-2014/ISO/IEC24707:2007
前言
本标准按照GB/T1.1一2009给出的规则进行起草。
本标准使用翻译法等同采用ISO/IEC24707：2007《信息技术通用逻辑：基于逻辑的语言族框架》 （英文版）。
请注意本文件的某些内容可能涉及专利。
本文件的发布机构不承担识别这些专利的责任。
本标准由全国信息技术标准化技术委员会(SAC/TC28)提出并归口。
本标准起草单位：中国标准化研究院、北京科迪智标信息技术有限公司，环境保护部信息中心。
本标准主要起草人：孙广芝、邢立强、刘彦东、娄晓琳、刘定。
GB/T30880-2014/ISO/IEC24707:2007
引言
通用逻辑是一个用于信息交换和传输的逻辑框架。
本框架可采用多种不同语法形式，称为方言。
方言在以XML为基础的通用语法下具有逻辑表达能力，且具有共同的语义。
通用逻辑具备一些新的特征，首要特征在于其语法和语义。
其语法无需签名，且允许“更高阶"的构 造，例如在保持一阶模型理论的同时对类或关系进行量化；其语义认可对类或属性等内涵实体进行描述 的理论。
通用逻辑还固定了一些广泛使用的惯例的含义，例如用数字表示整数，用引号表示字符串等， 还对数据类型的使用以及采用XML在万维网上命名、导人和传输内容都做出了相应的规定。
Ⅱ
GB/T30880-2014/ISO/IEC24707:2007
信息技术通用逻辑（CL）：基于逻辑的 语言族框架
1范围
下列特征对本标准的设计至关重要： 一族内的语言具有公开的语义，无需借助于解释器来执行语言中的表达式就可以理解这些表达 式的含义； 一族内的语言在逻辑上是全面的，能为任意的一阶逻辑语句规定表达式； 在异构计算机系统间交换信息。
下列内容属于本标准的范围： 一一本体和知识库中的信息表示； 推理引擎输人或输出表达式的规范； 一语言中符号的形式化解释。
下列内容超出本标准的范围： 证明论和推理规则的规范； 各异构计算机系统符号间翻译器的规范； -提供逻辑“论域”的符号与“现实世界”的个体间关系的基于计算机的操作方法。
本标准给出了通用逻辑的语法和语义。
本标准定义了通用逻辑的抽象语法并为一阶逻辑的特定扩展定义了与之关联的模型理论化的语 义。
其目的是使用一阶逻辑的任何系统的内容都能够以本标准表达，从而促进系统间基于一阶逻辑的 信息的交换。
本标准不考虑计算能力相关的问题（如效率、优化等）。
2规范性引用文件
下列文件对于本文件的应用是必不可少的。
凡是注日期的引用文件，仅注日期的版本适用于本文 件。
凡是不注日期的引用文件，其最新版本(包括的修改单)适用于本文件。
GB/T5271.15一2008信息技术词汇第15部分：编程语言（ISO/IEC2382-15：1999，IDT)
ISO/IEC14977：1996信息技术句法元语言扩展巴科斯范式（Informationtechnology--Syn- tactic metalanguage-Extended BNF)
3术语和定义
下列术语和定义适用于本文件。
3.1 原子atom 没有作为语法成分的子句的语句形式。
注：既可以是一个等式，也可以是由被应用在某个参数序列的一个谓词组...
