A logical foundation for the semantic Web

doi:10.1360/03yf0506

	A logical foundation for the semantic Web
	Shi, ZZ; Dong, MK; Jiang, YC; Zhang, HJ
	2005-04-01
发表期刊	SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES
ISSN	1009-2757
卷号	48 期号:2 页码:161-178
摘要	The current research progresses and problems of the semantic Web are analyzed in this paper, and the insufficiency of using description logic to act as logical foundation for the semantic Web is analyzed too. According to the characteristics and requirement of the semantic Web, a kind of new dynamic description logic (DDL) framework is presented. The representation and reasoning of static knowledge and dynamic knowledge are integrated in this framework. Especially, a kind of action description method is proposed, and according to description logic theory, the action semantics is described, so DDL is a kind of formal logical framework which can process static knowledge and dynamic knowledge. The DDL has clear and formally defined semantics. It provides decidable reasoning services, and it can support effective representation and reasoning of the static knowledge, dynamic process and running mechanism (realization and subsumption relation of action). Therefore, the DDL provides reasonable logic foundation for the semantic Web, and overcomes the insufficiency of using description logic to act as logical foundation for the semantic Web.
关键词	semantic Web description logic dynamic description logic logical foundation
DOI	10.1360/03yf0506
收录类别	SCI
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Information Systems
WOS记录号	WOS:000229230300003
出版者	SCIENCE CHINA PRESS
引用统计	被引频次：40[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/10295
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Shi, ZZ
作者单位	Chinese Acad Sci, Inst Comp Technol, Key Lab Intelligent Informat Proc, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Shi, ZZ,Dong, MK,Jiang, YC,et al. A logical foundation for the semantic Web[J]. SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES,2005,48(2):161-178.
APA	Shi, ZZ,Dong, MK,Jiang, YC,&Zhang, HJ.(2005).A logical foundation for the semantic Web.SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES,48(2),161-178.
MLA	Shi, ZZ,et al."A logical foundation for the semantic Web".SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES 48.2(2005):161-178.