基于OWL-S的语义Web服务描述扩展

OWL—S（ontology Weblanguage for services）实现了Web服务属性和功能明确的形式化表示，使得服务的描述具有了语义。但OWL—S对服务的动态信息描述不足，不支持服务的动态复合。扩展了0WL—S的服务描述内容，提出了动态因素和静态因素的概念，给出了一个新的服务描述方法——从动态因素和静态因素两个方面对Web服务进行详细的描述，同时设计了服务动态复合的机制，采用子服务类型复合而非实例复合的方法，依据ServiceProfile中描述的动态信息和静态信息，根据服务运行环境和用户需求的不同而动态调整复合方式，从而使OWL—S具有支持服务动态复合的能力。最后以描述逻辑为基础给出描述方法的逻辑支持。