INCITS/ISO/IEC 24707 : 2008(R 2018)
Superseded
A superseded Standard is one, which is fully replaced by another Standard, which is a new edition of the same Standard.
View Superseded by
INFORMATION TECHNOLOGY - COMMON LOGIC (CL): A FRAMEWORK FOR A FAMILY OF LOGIC-BASED LANGUAGES
Hardcopy , PDF
26-12-2023
English
01-01-2008
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
Important note : All end users must be registered with an Account prior to user licenses being assigned.Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.