Information technology - Common Logic (CL) - A framework for a family of logic-based languages

ISO/IEC 24707:2018 This document specifies a family of logic languages designed for use in the representation and interchange of information and data among disparate computer systems.

The following features are essential to the design of this document.

— Languages in the family have declarative semantics. It is possible to understand the meaning of expressions in these languages without appeal to an interpreter for manipulating those expressions.

— Languages in the family are logically comprehensive ? at its most general, they provide for the expression of arbitrary first-order logical sentences.

— Languages in the family are translatable by a semantics-preserving transformation to a common XML-based syntax, facilitating interchange of information among heterogeneous computer systems.

The following are within the scope of this document:

— representation of information in ontologies and knowledge bases;

— specification of expressions that are the input or output of inference engines;

— formal interpretations of the symbols in the language.

The following are outside the scope of this document:

— specification of proof theory or inference rules;

— specification of translato