Customer Support: 131 242

  • There are no items in your cart
We noticed you’re not on the correct regional site. Switch to our AMERICAS site for the best experience.
Dismiss alert

ISO/IEC 24707:2007

Withdrawn

Withdrawn

A Withdrawn Standard is one, which is removed from sale, and its unique number can no longer be used. The Standard can be withdrawn and not replaced, or it can be withdrawn and replaced by a Standard with a different number.

View Superseded by

Information technology Common Logic (CL): a framework for a family of logic-based languages

Available format(s)

Hardcopy , PDF 1 User , PDF 3 Users , PDF 5 Users , PDF 9 Users

Withdrawn date

06-03-2019

Superseded by

ISO/IEC 24707:2018

Language(s)

English

Published date

25-09-2007

$118.72
Including GST where applicable

ISO/IEC 24707:2007 defines Common Logic: a first-order logic framework intended for information exchange and transmission. The heart of the framework is a complete abstract syntax and abstract semantics for Common Logic, which provides the basis for many different concrete syntactic forms, called dialects, which conform to the syntax and semantics. Common Logic has some novel features, chief among them being a syntax which is signature-free and permits 'higher-order' constructions such as quantification over classes or relations while preserving a first-order model theory, and a semantics which allows theories to describe intensional entities such as classes or properties. It also fixes the meanings of a few conventions in widespread use, such as numerals to denote integers and quotation marks to denote character strings, and has provision for the use of datatypes and for naming, importing and transmitting content on the World Wide Web. ISO/IEC 24707:2007 defines the abstract syntax and semantics, and three concrete dialects are defined in the annexes. The three conforming dialects specified are Common Logic Interchange Format (CLIF), Conceptual Graph Interchange Format (CGIF) and XML for Common Logic (XCL).

DocumentType
Standard
Pages
73
PublisherName
International Organization for Standardization
Status
Withdrawn
SupersededBy

Standards Relationship
BS ISO/IEC 24707:2007 Identical
INCITS/ISO/IEC 24707 : 2008(R 2018) Identical
SAC GB/T 30880 : 2014 Identical
NEN ISO/IEC 24707 : 2007 Identical

BS ISO/IEC 19763-3:2010 Information technology. Metamodel framework for interoperability (MFI) Metamodel for ontology registration
INCITS/ISO/IEC 19763-1 : 2007 INFORMATION TECHNOLOGY - METAMODEL FRAMEWORK FOR INTEROPERABILITY (MFI) - PART 1: REFERENCE MODEL
ISO/IEC 19763-3:2010 Information technology Metamodel framework for interoperability (MFI) Part 3: Metamodel for ontology registration
ISO/IEC 11179-3:2013 Information technology — Metadata registries (MDR) — Part 3: Registry metamodel and basic attributes
INCITS/ISO/IEC 11179-3 : 2014 INFORMATION TECHNOLOGY - METADATA REGISTRIES (MDR) - PART 3: REGISTRY METAMODEL AND BASIC ATTRIBUTES
INCITS/ISO/IEC 19763-3 : 2011 INFORMATION TECHNOLOGY - METAMODEL FRAMEWORK FOR INTEROPERABILITY (MFI) - PART 3: METAMODEL FOR ONTOLOGY REGISTRATION
BS ISO/IEC 11179-3:2013 Information technology. Metadata registries (MDR) Registry metamodel and basic attributes
CSA ISO/IEC 11179-3 : 2015 INFORMATION TECHNOLOGY - METADATA REGISTRIES (MDR) - PART 3: REGISTRY METAMODEL AND BASIC ATTRIBUTES

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.

Need help?
Call us on 131 242, then click here to start a Screen Sharing session
so we can help right away! Learn more