论文部分内容阅读
作为描述逻辑的扩展，动态描述逻辑为语义Web服务的建模和推理提供了一种有效途径雇将语义Web服务建模为动作之后，动态描述逻辑从动作执行结果的角度提供了丰富的推理机制，但对于动作的执行过程却不能加以处理．借鉴Pratt关于命题动态逻辑的相关研究，一方面，对动态描述逻辑中动作的语义重新进行定义，将每个动作解释为由关于可能世界的序列组成的集合；另一方面，在动态描述逻辑中引入动作过程断言，用来对动作的执行过程加以刻画．在此基础上提出一类扩展的动态描述逻辑EDDL（χ），其中的χ表示从ALC（attributive