Common Logic是一种基于逻辑的语言，它可以用于表示和推理各种类型的知识。它的设计目标是提供一种通用的、可扩展的、可重用的知识表示框架，以便在不同的应用领域中使用。CL是一种形式化语言，它使用一组符号和规则来表示和操作知识。CL的符号包括概念、事实、规则和假设等，这些符号可以用于表示各种类型的知识。

CL的语法和语义都是基于逻辑的。它使用一组逻辑公式来表示知识，这些公式可以用于推理和验证知识。CL支持多种逻辑，包括一阶逻辑、高阶逻辑和模态逻辑等。CL还支持多种推理机制，包括前向推理、后向推理和不确定推理等。

CL的设计目标是提供一种通用的、可扩展的、可重用的知识表示框架。它可以用于表示各种类型的知识，包括概念、事实、规则和假设等。CL还支持多种知识表示方式，包括本体论、框架和规则等。CL的可扩展性和可重用性使得它可以在不同的应用领域中使用，例如人工智能、自然语言处理和语义网等。

CL的标准化工作由ISO/IEC JTC1/SC22/WG3负责。ISO/IEC 24707:2007是该标准的第一版，它定义了CL的语法和语义，以及CL的推理机制和知识表示方式。ISO/IEC 24707:2007还定义了CL的标准库，包括一些常用的概念、事实和规则等。

相关标准
- ISO/IEC 13250:2003 Topic Maps
- ISO/IEC 19793:2008 Learning Technology -- Common Cartridge
- ISO/IEC 19763-3:2008 Metamodel for Ontology Registration
- ISO/IEC 19763-6:2008 Metamodel for Quality of Service Requirements
- ISO/IEC 19763-8:2008 Metamodel for Process Model Registration