A fuzzy dynamic description logic

The current research progresses and the existing problems of description logic DL, especially the insufficiency of using dynamic description logic DDL to act as logical foundation for the semantic Web, are analyzed. According to the characteristics and requirement of the semantic Web, a kind of new description logic, i.e., fuzzy dynamic description logic FDDL, is presented. The syntax and semantics of FDDL are given. The reasoning mechanism of FDDL is studied. The FDDL provides more reasonable logic foundation for the semantic Web, and overcomes the insufficiency of using dynamic description logic DDL to act as logical foundation for the semantic Web.