Foreword

Introduction

1Scope

2Normative references

3Terms and definitions

4Symbols and abbreviated terms

4.1Symbols

4.2Abbreviated terms

5Requirements and design overview

5.1Requirements

5.1.1Common Logic should include full first-order logic with equality

5.1.2Common Logic should provide a general-purpose syntax for communicating logical expressions

5.1.3Common Logic should be easy and natural for use on the Web

5.1.4Common Logic should support open networks

5.1.5Common Logic should not make arbitrary assumptions about semantics

5.2A family of languages

6Common Logic abstract syntax and semantics

6.1Common Logic abstract syntax

6.1.1Abstract syntax categories

6.1.2Metamodel of the Common Logic abstract syntax

6.1.2.1Names and sequence markers

6.1.2.2Terms and term sequences

6.1.2.3Sentences

6.1.2.4Statements

6.1.2.5Texts

6.1.2.6Well-Formed Expressions

6.1.2.7Metamodel

6.1.3Importation closure

6.1.4Abstract syntactic structure of dialects

6.2Common logic semantics

6.3Datatypes

6.4Satisfaction, validity and entailment

6.5Sequence markers, recursion and argument lists: discussion

6.6Special cases and translations between dialects

7Conformance

7.1Dialect conformance

7.1.1Syntax

7.1.2Semantics

7.1.3Presupposing dialects

7.2Application conformance

7.3Network conformance

Annex ACommon Logic Interchange Format (CLIF) (normative)

A.1General

A.2CLIF syntax

A.2.1Characters

A.2.2Lexical syntax

A.2.2.1General

A.2.2.2White space

A.2.2.3Delimiters

A.2.2.4Characters

A.2.2.5Quoting within strings

A.2.2.6Quoted strings

A.2.2.7Reserved tokens

A.2.2.8Name character sequence

A.2.2.9Lexical categories

A.2.3Expression syntax

A.2.3.1Term sequence

A.2.3.2Name

A.2.3.3Term

A.2.3.4Equation

A.2.3.5Sentence

A.2.3.6Atomic sentence

A.2.3.7Boolean sentence

A.2.3.8Quantified sentence

A.2.3.9Commented sentence

A.2.3.10Titling

A.2.3.11Discourse statement

A.2.3.12Statement

A.2.3.13Importation

A.2.3.14Domain restriction

A.2.3.15Text

A.3CLIF semantics

A.4CLIF conformance

A.4.1Syntactic conformity

A.4.2Semantic conformity

Annex BConceptual Graph Interchange Format (CGIF) (normative)

B.1General

B.1.1General

B.1.2Conceptual graphs

B.1.3EBNF Syntax Rules for CGIF

B.1.4Notation for rewrite rules

B.1.4.1General

B.1.4.2Transformation rules

B.1.4.3Functions used in rewrite rules

B.2CG core syntax and semantics

B.2.1actor

B.2.2arc

B.2.3arcSequence

B.2.4comment

B.2.5concept

B.2.6conceptual graph (CG)

B.2.7conceptual relation

B.2.8negation

B.2.9reference

B.2.10scope

B.2.11text

B.3Extended CGIF syntax

B.3.1General

B.3.2actor

B.3.3arc

B.3.4arcSequence

B.3.5boolean

B.3.6concept

B.3.7conceptual graph (CG)

B.3.8conceptual relation

B.3.9text

B.3.10type expression

B.4CGIF conformance

Annex CeXtended Common Logic Markup Language (XCL) (normative)

C.1General

C.2XCL syntax

C.3XCL semantics

C.4XCL conformance

Annex DTranslating between dialects (informative)

Bibliography