|
US$1434.00 · In stock
Delivery: <= 5 days. True-PDF full-copy in English will be manually translated and delivered via email.
GB/T 30880-2014: Information technology -- Common Logic (CL): A framework for a family of logic-based languages
Status: Valid
| Standard ID | Contents [version] | USD | STEP2 | [PDF] delivered in | Standard Title (Description) | Status | PDF |
| GB/T 30880-2014 | English | 1434 |
Add to Cart
|
5 days [Need to translate]
|
Information technology -- Common Logic (CL): A framework for a family of logic-based languages
| Valid |
GB/T 30880-2014
|
PDF similar to GB/T 30880-2014
Basic data | Standard ID | GB/T 30880-2014 (GB/T30880-2014) | | Description (Translated English) | Information technology -- Common Logic (CL): A framework for a family of logic-based languages | | Sector / Industry | National Standard (Recommended) | | Classification of Chinese Standard | L72 | | Classification of International Standard | 35.060 | | Word Count Estimation | 72,779 | | Date of Issue | 9/3/2014 | | Date of Implementation | 2/1/2015 | | Quoted Standard | GB/T 5271.15-2008; GB 13000-2010; ISO/IEC 14977-1996 | | Adopted Standard | ISO/IEC 24707-2007, IDT | | Regulation (derived from) | People's Republic of China Announcement of Newly Approved National Standards No. 21 of 2014 | | Issuing agency(ies) | General Administration of Quality Supervision, Inspection and Quarantine of the People's Republic of China, Standardization Administration of the People's Republic of China | | Summary | This Standard specifies the data and information used for different computer systems using a logical language ethnic representation and exchange. The following features critical to this standard design: language within the family has publicly semantics, w | GB/T 30880-2014: Information technology -- Common Logic (CL): A framework for a family of logic-based languages
---This is a DRAFT version for illustration, not a final translation. Full copy of true-PDF in English version (including equations, symbols, images, flow-chart, tables, and figures etc.) will be manually/carefully translated upon your order.
Information technology Common Logic (CL). A \u200b\u200bframework for a family of logic-based languages
ICS 35.060
L72
National Standards of People's Republic of China
General logic (CL). logic-based
Language family framework
Informationtechnology-CommonLogic (CL).
(ISO /IEC 24707.2007, IDT)
Issued on. 2014-09-03
2015-02-01 implementation
Administration of Quality Supervision, Inspection and Quarantine of People's Republic of China
Standardization Administration of China released
Table of Contents
Preface Ⅰ
Introduction Ⅱ
1 Scope 1
2 Normative references 1
3 Terms and definitions
4 Symbols and abbreviations 4
5 5 Overview of requirements and design
6 general logic of abstract syntax and semantics 6
7 Compliance 16
Appendix A (normative) General Logical Interchange Format (CLIF) 19
A.1 Overview 19
A.2 CLIF syntax 20
A.3 CLIF semantics 26
A.4 CLIF Compliance 27
Appendix B (normative) conceptual diagram Interchange Format (CGIF) 29
B.1 Introduction 29
B.2 conceptual diagram core syntax and semantics 35
B.3 CGIF extended syntax 39
B.4 CGIF Compliance 45
Annex C (normative) Extensible Markup Language general logic (XCL) 49
C.1 Introduction 49
C.2 XCL syntax 49
C.3 XCL semantics 66
C.4 XCL Compliance 66
References 67
Foreword
Accordance with the standards GB/T 1.1-2009 given rules drafted.
This standard uses the translation method identical with ISO /IEC 24707.2007 "Information technology - Generic logic. the logic-based language family framework."
(In English).
Please note that some of the content of this document may involve patents. Release mechanism of the present document does not assume responsibility for the identification of these patents.
This standard by the National Information Technology Standardization Technical Committee (SAC/TC28) and focal points.
This standard drafting units. China National Institute of Standardization, Beijing Information Technology Co., Ltd. Cody intellectual standard, the Ministry of Environmental Protection Information Center.
The main drafters of this standard. Sunguang Zhi, Xing Liqiang, Liu Yandong, Lou Xiaolin, Liu set.
Introduction
General logic is a logical framework for the exchange of information and transmission. This framework can be a variety of different grammatical forms, called dialects.
Dialect logical skills in XML-based universal grammar, and have a common semantics.
General logic has some new features, mainly characterized by its syntax and semantics. The syntax without signature and allow "more advanced" configuration
Made, for example, while maintaining a first-order model theory of class relations or quantified; endorsement of its semantic connotation entity classes or attributes to describe
Theory. General logic also fixed some meaning practice widely used, such as the number is an integer, a string with quotation marks, etc.,
Also use the data type and the use of XML on the Web name, import and transfer content have made the appropriate provisions.
General logic (CL). logic-based
Language family framework
1 Scope
This standard specifies the use of data and information between different computer systems logical language ethnic representation and exchange.
The following features of the standard design is crucial.
--- Language within the family has publicly semantics, without resorting to the language interpreter to execute expressions we can understand the expression
Formula meaning;
--- Language within the family is logically complete, can be any first-order logic statement specifies an expression;
--- Exchange of information between heterogeneous computer systems.
The following fall within the scope of this standard.
--- Ontology and knowledge base of information representation;
--- Inference engine input or output specification expression;
--- Formal sign language interpretation.
The following are outside the scope of this standard.
--- Proof Norms and inference rules;
--- Intersymbol specification translator isomers computer systems;
Computer-based method of operation --- provides a logic "on the field" symbol between individual relationship with the "real world" of.
This standard shows the general logic of syntax and semantics.
This standard defines the abstract syntax and the general logic of first-order logic specific extension defines a model associated with the theory of language
Righteousness. The aim is to use the content of any system of first-order logic are able to express this standard, thereby promoting inter-system based on first-order logic
Exchange of information.
This standard does not consider the computing power related issues (such as efficiency, optimization, etc.).
2 Normative references
The following documents for the application of this document is essential. For dated references, only the dated version suitable for use herein
Member. For undated references, the latest edition (including any amendments) applies to this document.
GB/T 5271.15-2008 Information technology - Vocabulary Part 15. Programming languages \u200b\u200b(ISO /IEC 2382-15.1999, IDT)
GB 13000-2010 Information technology - Universal Multiple-Octet Coded Character Set (UCS) (ISO /IEC 10646.2003, IDT)
ISO /IEC 14977.1996 Information technology - Syntactic metalanguage extended Backus-Naur Form (Informationtechnology-Syn-
tacticmetalanguage-ExtendedBNF)
3 Terms and Definitions
The following terms and definitions apply to this document.
3.1
Atom atom
No statement in the form of a clause grammar component.
NOTE. You can either be an equation, it can be applied by the atomic sentence predicate in a sequence consisting of a parameter.
Tips & Frequently Asked Questions:Question 1: How long will the true-PDF of GB/T 30880-2014_English be delivered?Answer: Upon your order, we will start to translate GB/T 30880-2014_English as soon as possible, and keep you informed of the progress. The lead time is typically 3 ~ 5 working days. The lengthier the document the longer the lead time. Question 2: Can I share the purchased PDF of GB/T 30880-2014_English with my colleagues?Answer: Yes. The purchased PDF of GB/T 30880-2014_English will be deemed to be sold to your employer/organization who actually pays for it, including your colleagues and your employer's intranet. Question 3: Does the price include tax/VAT?Answer: Yes. Our tax invoice, downloaded/delivered in 9 seconds, includes all tax/VAT and complies with 100+ countries' tax regulations (tax exempted in 100+ countries) -- See Avoidance of Double Taxation Agreements (DTAs): List of DTAs signed between Singapore and 100+ countriesQuestion 4: Do you accept my currency other than USD?Answer: Yes. If you need your currency to be printed on the invoice, please write an email to [email protected]. In 2 working-hours, we will create a special link for you to pay in any currencies. Otherwise, follow the normal steps: Add to Cart -- Checkout -- Select your currency to pay.
|