A logical foundation for the semantic Web

作     者：SHIZhongzhi DONGMingkai JIANGYuncheng ZHANGHaijun 

作者机构：KeyLaboratoryofIntelligentInformationProcessingInstituteofComputingTechnologyChineseAcademyofSciencesBeijing100080China 

出 版 物：《Science in China(Series F)》 (中国科学（F辑英文版）)

年 卷 期：2005年第48卷第2期

页      面：161-178页

核心收录：

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：This work was supported by the 863 High Tech Programme(Grant No.2001AA113121) the National Natural Science Foundation of China(Grant No.90104021) 

主　　题：semantic Web description logic dynamic description logic logical foundation. 

摘      要：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.