Web服务有几种形式化表示：WSMO（Web服务建模本体）和OWL-S（Web服务本体语言）。为了分析WSML的逻辑特性,提出用一阶动态逻辑来表示WSML。......

当前对Web服务进行语义描述最流行的两个框架是OWL-S和WSMO,但它们主要都是从服务功能的角度对服务进行描述,缺乏对服务质量的明确......