This document specifies a family of logic languages designed for use in the representation and interchange of information and data among disparate computer systems.<\/p>\n
The following features are essential to the design of this document.<\/p>\n
Languages in the family have declarative semantics. It is possible to understand the meaning of expressions in these languages without appeal to an interpreter for manipulating those expressions.<\/p>\n<\/li>\n
Languages in the family are logically comprehensive \u2013 at its most general, they provide for the expression of arbitrary first-order logical sentences.<\/p>\n<\/li>\n
Languages in the family are translatable by a semantics-preserving transformation to a common XML-based syntax, facilitating interchange of information among heterogeneous computer systems.<\/p>\n<\/li>\n<\/ul>\n
The following are within the scope of this document:<\/p>\n
representation of information in ontologies and knowledge bases;<\/p>\n<\/li>\n
specification of expressions that are the input or output of inference engines;<\/p>\n<\/li>\n
formal interpretations of the symbols in the language.<\/p>\n<\/li>\n<\/ul>\n
The following are outside the scope of this document:<\/p>\n
specification of proof theory or inference rules;<\/p>\n<\/li>\n
specification of translators between the notations of heterogeneous computer systems;<\/p>\n<\/li>\n
computer-based operational methods of providing relationships between symbols in the logical \u201cuniverse of discourse\u201d and individuals in the \u201creal world\u201d.<\/p>\n<\/li>\n<\/ul>\n
This document describes Common Logic\u2019s syntax and semantics.<\/p>\n
This document defines an abstract syntax and an associated model-theoretic semantics for a specific extension of first-order logic. The intent is that the content of any system using first-order logic can be represented in this document. The purpose is to facilitate interchange of first-order logic-based information between systems.<\/p>\n
Issues relating to computability using this document (including efficiency, optimization, etc.) are not addressed.<\/p>\n
| PDF Pages<\/th>\n | PDF Title<\/th>\n<\/tr>\n | ||||||
|---|---|---|---|---|---|---|---|
| 2<\/td>\n | National foreword <\/td>\n<\/tr>\n | ||||||
| 6<\/td>\n | Foreword <\/td>\n<\/tr>\n | ||||||
| 7<\/td>\n | Introduction <\/td>\n<\/tr>\n | ||||||
| 9<\/td>\n | 1 Scope 2 Normative references <\/td>\n<\/tr>\n | ||||||
| 10<\/td>\n | 3 Terms and definitions <\/td>\n<\/tr>\n | ||||||
| 12<\/td>\n | 4 Symbols and abbreviated terms 4.1 Symbols <\/td>\n<\/tr>\n | ||||||
| 13<\/td>\n | 4.2 Abbreviated terms 5 Requirements and design overview 5.1 Requirements 5.1.1 Common Logic should include full first-order logic with equality 5.1.2 Common Logic should provide a general-purpose syntax for communicating logical expressions 5.1.3 Common Logic should be easy and natural for use on the Web 5.1.4 Common Logic should support open networks <\/td>\n<\/tr>\n | ||||||
| 14<\/td>\n | 5.1.5 Common Logic should not make arbitrary assumptions about semantics 5.2 A family of languages 6 Common Logic abstract syntax and semantics 6.1 Common Logic abstract syntax 6.1.1 Abstract syntax categories <\/td>\n<\/tr>\n | ||||||
| 16<\/td>\n | 6.1.2 Metamodel of the Common Logic abstract syntax <\/td>\n<\/tr>\n | ||||||
| 23<\/td>\n | 6.1.3 Importation closure <\/td>\n<\/tr>\n | ||||||
| 24<\/td>\n | 6.1.4 Abstract syntactic structure of dialects <\/td>\n<\/tr>\n | ||||||
| 25<\/td>\n | 6.2 Common logic semantics <\/td>\n<\/tr>\n | ||||||
| 27<\/td>\n | 6.3 Datatypes 6.4 Satisfaction, validity and entailment <\/td>\n<\/tr>\n | ||||||
| 28<\/td>\n | 6.5 Sequence markers, recursion and argument lists: discussion <\/td>\n<\/tr>\n | ||||||
| 29<\/td>\n | 6.6 Special cases and translations between dialects 7 Conformance 7.1 Dialect conformance 7.1.1 Syntax <\/td>\n<\/tr>\n | ||||||
| 30<\/td>\n | 7.1.2 Semantics <\/td>\n<\/tr>\n | ||||||
| 31<\/td>\n | 7.1.3 Presupposing dialects 7.2 Application conformance <\/td>\n<\/tr>\n | ||||||
| 32<\/td>\n | 7.3 Network conformance <\/td>\n<\/tr>\n | ||||||
| 33<\/td>\n | Annex A (normative) Common Logic Interchange Format (CLIF) <\/td>\n<\/tr>\n | ||||||
| 44<\/td>\n | Annex B (normative) Conceptual Graph Interchange Format (CGIF) <\/td>\n<\/tr>\n | ||||||
| 65<\/td>\n | Annex C (normative) eXtended Common Logic Markup Language (XCL) <\/td>\n<\/tr>\n | ||||||
| 77<\/td>\n | Annex D (informative) Translating between dialects <\/td>\n<\/tr>\n | ||||||
| 78<\/td>\n | Bibliography <\/td>\n<\/tr>\n<\/table>\n","protected":false},"excerpt":{"rendered":" Information technology. Common Logic (CL). A framework for a family of logic-based languages<\/b><\/p>\n |