Types, structures and theories in NKI
文献类型：期刊论文
| 作者 | Xiaoru Zhang2; Zaiyue Zhang2; Yuefei Sui1 |
| 刊名 | Frontiers of Computer Science in China
 |
| 出版日期 | 2008 |
| 卷号 | 2期号:4页码:451 |
| 关键词 | type ontology concept individual natural object |
| ISSN号 | 1673-7350 |
| 英文摘要 | The National Knowledge Infrastructure (NKI) is a multi-domain knowledge base. The classical type theory is no longer appropriate to describe every kind of object in multi-domains, such as artifacts, natural or micro objects. Three different kinds of type theories are defined: the classical, atomic and pseudo type theories; in the classical type theory, two new type constructors are defined: setm and ∨, to describe the types of sets of all the elements of the types and unions of two sets of different types, respectively. The structures and categories in the type theory are defined, and the sub-structures and homomorphic structures are used to describe the part-of relations that give the algebraic specifications for the natural objects and the part-of relations between the natural objects, micro objects and artifacts. |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/37367]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 1.中国科学院计算技术研究所 2.江苏科技大学 |
| 推荐引用方式 GB/T 7714 | Xiaoru Zhang,Zaiyue Zhang,Yuefei Sui. Types, structures and theories in NKI[J]. Frontiers of Computer Science in China,2008,2(4):451. |
| APA | Xiaoru Zhang,Zaiyue Zhang,&Yuefei Sui.(2008).Types, structures and theories in NKI.Frontiers of Computer Science in China,2(4),451. |
| MLA | Xiaoru Zhang,et al."Types, structures and theories in NKI".Frontiers of Computer Science in China 2.4(2008):451. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。