ISO_IEC_24707_2018.pdf

Information technology Common Logic(CL)A framework for a family of logic-based languagesTechnologies de linformation Logique Commune(CL)Cadre pour une famille des langages logique-bassINTERNATIONAL STANDARDISO/IEC24707Reference numberISO/IEC 24707:2018(E)Second edition2018-07 ISO/IEC 2018 ISO/IEC 24707:2018(E)ii ISO/IEC 2018 All rights reservedCOPYRIGHT PROTECTED DOCUMENT ISO/IEC 2018All rights reserved.Unless otherwise specified,or required in the context of its implementation,no part of this publication may be reproduced or utilized otherwise in any form or by any means,electronic or mechanical,including photocopying,or posting on the internet or an intranet,without prior written permission.Permission can be requested from either ISO at the address below or ISOs member body in the country of the requester.ISO copyright officeCP 401 Ch.de Blandonnet 8CH-1214 Vernier,GenevaPhone:+41 22 749 01 11Fax:+41 22 749 09 47Email:copyrightiso.orgWebsite:www.iso.orgPublished in Switzerland ISO/IEC 24707:2018(E)Foreword.ivIntroduction.v1 Scope.12 Normative references.13Termsanddefinitions.24 Symbols and abbreviated terms.44.1 Symbols.44.2 Abbreviated terms.55 Requirements and design overview.55.1 Requirements.55.1.1 Common Logic should include full first-order logic with equality.55.1.2 Common Logic should provide a general-purpose syntax for communicating logical expressions.55.1.3 Common Logic should be easy and natural for use on the Web.55.1.4 Common Logic should support open networks.65.1.5 Common Logic should not make arbitrary assumptions about semantics.65.2 A family of languages.66 Common Logic abstract syntax and semantics.66.1 Common Logic abstract syntax.66.1.1 Abstract syntax categories.66.1.2 Metamodel of the Common Logic abstract syntax.86.1.3 Importation closure.156.1.4 Abstract syntactic structure of dialects.166.2 Common logic semantics.176.3 Datatypes.196.4 Satisfaction,validity and entailment.206.5 Sequence markers,recursion and argument lists:discussion.206.6 Special cases and translations between dialects.217 Conformance.217.1 Dialect conformance.217.1.1 Syntax.217.1.2 Semantics.227.1.3 Presupposing dialects.237.2 Application conformance.247.3 Network conformance.24Annex A(normative)Common Logic Interchange Format(CLIF).25Annex B(normative)Conceptual Graph Interchange Format(CGIF).36Annex C(normative)eXtended Common Logic Markup Language(XCL).57Annex D(informative)Translating between dialects.69Bibliography.70 ISO/IEC 2018 All rights reserved iiiContents Page ISO/IEC 24707:2018(E)ForewordISO(the International Organization for Standardization)and IEC(the International Electrotechnical Commission)form the specialized system for worldwide standardization.National bodies that are members of ISO or IEC participate in the development of International Standards through technical committees established by the respective organization to deal with particular fields of technical activity.ISO and IEC technical committees collaborate in fields of mutual interest.Other international organizations,governmental and non-governmental,in liaison with ISO and IEC,also take part in the work.In the field of information technology,ISO and IEC have established a joint technical committee,ISO/IEC JTC 1.The procedures used to develop this document and those intended for its further maintenance are described in the ISO/IEC Directives,Part 1.In particular the different approval criteria needed for the different types of ISO documents should be noted.This document was drafted in accordance with the editorial rules of the ISO/IEC Directives,Part 2(see www.iso.org/directives).Attention is drawn to the possibility that some of the elements of this document may be the subject of patent rights.ISO shall not be held responsible for identifying any or all such patent rights.Details of any patent rights identified during the development of the document will be in the Introduction and/or on the ISO list of patent declarations received(see www.iso.org/patents).Any trade name used in this document is information given for the convenience of users and does not constitute an endorsement.For an explanation on the voluntary nature of standards,the meaning of ISO specific terms and expressions related to conformity assessment,as well as information about ISOs adherence to the World Trade Organization(WTO)principles in the Technical Barriers to Trade(TBT)see the following URL:www.iso.org/iso/foreword.html.This document was prepared by Technical Committee ISO/IEC JTC 1,Information technology,SC 32,Data management and interchange.This second edition cancels and replaces the first edition(ISO/IEC 24707:2007),which has been technically revised.The main changes compared to the previous edition are as follows:the list of syntactic errors that have already been identified in the Defect Report has been fixed;the XML syntax in Annex C has been corrected and completed;a more general approach to annotation of CL-texts has been made;semantics has been mo