Types, structures and theories in NKI

	Types, structures and theories in NKI
	Xiaoru Zhang 1; Zaiyue Zhang 1; Yuefei Sui 2
	2008
发表期刊	Frontiers of Computer Science in China
ISSN	1673-7350
卷号	2 期号:4 页码:451
摘要	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.
关键词	type ontology concept individual natural object
语种	英语
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/37368
专题	中国科学院计算技术研究所期刊论文_中文
作者单位	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.