INCITS/ISO/IEC 24707 : 2008(R 2018)

Foreword
Introduction
1 Scope
2 Normative references
3 Terms and definitions
4 Symbols and abbreviations
  4.1 Symbols
  4.2 Abbreviations
5 Requirements and design overview
  5.1 Requirements
  5.2 A family of notations
6 Common Logic abstract syntax and semantics
  6.1 Common Logic abstract syntax
  6.2 Common Logic semantics
  6.3 Importing and identification on a network
  6.4 Satisfaction, validity and entailment
  6.5 Sequence markers, recursion and argument lists:
      discussion
  6.6 Special cases and translations between dialects
7 Conformance
  7.1 Dialect conformance
  7.2 Application conformance
  7.3 Network conformance
Annex A (normative) Common Logic Interchange
        Format (CLIF)
  A.1 Introduction
  A.2 CLIF Syntax
  A.3 CLIF semantics
  A.4 CLIF conformance
Annex B (normative) Conceptual Graph Interchange
        Format (CGIF)
  B.1 Introduction
  B.2 CG Core Syntax and Semantics
  B.3 Extended CGIF Syntax
  B.4 CGIF conformance
Annex C (normative) eXtended Common Logic Markup
        Language (XCL)
  C.1 Introduction
  C.2 XCL Syntax
  C.3 XCL Semantics
  C.4 XCL Conformance
Bibliography

Describes a family of logic languages designed for use in the representation and interchange of information and data among disparate computer systems.