本项目将面向语义Web服务的形式化描述，研究扩展的动态描述逻辑，为语义Web服务提供充分的逻辑支撑。主要研究内容包括：动态描述逻辑中复杂动作的描述和可满足性问题，动态描述逻辑推理机制和扩展的Tableau算法，动态描述逻辑的时序扩展，语义Web服务的形式化描述和功能自动化。通过研究，本项目将提出扩展的动态描述逻辑EDDL，为语义Web服务的描述、推理、发现、组合等功能提供逻辑支撑；提出时序动态描述逻辑TDDL，将可以在统一的框架下对概念的动态内涵以及时序方面的内涵进行刻画，构成复杂的逻辑公式，对复杂的服务对象进行描述；提出扩展的Tableau算法，构建高效的动态描述逻辑推理机；研制的语义Web服务系统SWSBroker将静态知识的描述和推理与动态知识的描述和推理有机结合，为语义Web服务的发现和组合提供有效支撑。其研究结果将对互联网的发展和面向服务的系统集成具有重要意义。