BS ISO/IEC 24707:2007
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
13-08-2018
English
31-10-2007
Important note : All end users must be registered with an Account prior to user licenses being assigned.
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.
| Committee |
IST/40
|
| DevelopmentNote |
Supersedes 05/30135421 DC. (10/2007)
|
| DocumentType |
Standard
|
| Pages |
82
|
| PublisherName |
British Standards Institution
|
| Status |
Superseded
|
| SupersededBy | |
| Supersedes |
| Standards | Relationship |
| ISO/IEC 24707:2007 | Identical |
| ISO/IEC 10646:2014 | Information technology Universal Coded Character Set (UCS) |
| ISO/IEC 2382-15:1999 | Information technology Vocabulary Part 15: Programming languages |
| ISO/IEC 14977:1996 | Information technology — Syntactic metalanguage — Extended BNF |
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.