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