ISO/IEC 24707:2018
Information technology - Common Logic (CL) - A framework for a family of logic-based languages
Abstract
The electronic version of this International Standard can be downloaded from the ISO/IEC Information Technology Task Force (ITTF) web site.
ISO/IEC 24707:2018 This document specifies a family of logic languages designed for use in the representation and interchange of information and data among disparate computer systems.
The following features are essential to the design of this document.
— 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.
— Languages in the family are logically comprehensive ? at its most general, they provide for the expression of arbitrary first-order logical sentences.
— 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.
The following are within the scope of this document:
— representation of information in ontologies and knowledge bases;
— specification of expressions that are the input or output of inference engines;
— formal interpretations of the symbols in the language.
The following are outside the scope of this document:
— specification of proof theory or inference rules;
— specification of translators between the notations of heterogeneous computer systems;
— computer-based operational methods of providing relationships between symbols in the logical "universe of discourse" and individuals in the "real world".
This document describes Common Logic's syntax and semantics.
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.
Issues relating to computability using this document (including efficiency, optimization, etc.) are not addressed.
ISO/IEC 24707:2018 This document specifies a family of logic languages designed for use in the representation and interchange of information and data among disparate computer systems.
The following features are essential to the design of this document.
— 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.
— Languages in the family are logically comprehensive ? at its most general, they provide for the expression of arbitrary first-order logical sentences.
— 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.
The following are within the scope of this document:
— representation of information in ontologies and knowledge bases;
— specification of expressions that are the input or output of inference engines;
— formal interpretations of the symbols in the language.
The following are outside the scope of this document:
— specification of proof theory or inference rules;
— specification of translators between the notations of heterogeneous computer systems;
— computer-based operational methods of providing relationships between symbols in the logical "universe of discourse" and individuals in the "real world".
This document describes Common Logic's syntax and semantics.
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.
Issues relating to computability using this document (including efficiency, optimization, etc.) are not addressed.
Additional information
Publication type | International Standard |
---|---|
Publication date | 2018-07-16 |
Edition | 2.0 |
Available language(s) | English |
TC/SC | ISO/IEC JTC 1/SC 32 - Data management and interchangerss |
ICS | 35.060 - Languages used in information technology |
Pages | 70 |
File size | 2357 KB |
The following test report forms are related:
Share your publications
Learn how to share your publications with your colleagues, using networking options.
Payment information
Our prices are in Swiss francs (CHF). We accept all major credit cards (American Express, Mastercard and Visa, JCB and CUP), PayPal and bank transfers as form of payment.
Keep in touch
Keep up to date with new publication releases and announcements with our free IEC Just Published email newsletter.
Contact customer services
Please send your enquiry by email or call us on +41 22 919 02 11 between 09:00 – 16:00 CET Monday to Friday.