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. Accordin...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.展开更多
基金This work was supported by the 863 High Tech Programme(Grant No.2001AA113121)the National Natural Science Foundation of China(Grant No.90104021).
文摘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.
