描述逻辑规则驱动的语义Web服务高效组合方法

本文主要探讨了"基于描述逻辑规则的语义Web服务组合"这一主题。在当前的语义Web服务领域，OWL-S标准被广泛应用于服务描述和组合，但其在处理动态服务特性时存在局限性。为了克服这些挑战，作者提出了一种新颖的方法，即利用描述逻辑(DL)规则来建模和组合语义Web服务。 首先，服务被抽象为ServiceProfile中的原子服务，它们的输入和输出参数被转化为DL中的角色和概念。这种转化使得服务的功能和结构能够通过描述逻辑的语义表达，增强了服务的可理解性和精确性。服务间的上下位关系以及ProcessProfile中的组合流程则被映射为DL规则，这样可以在规则的形式系统中统一表示服务的静态功能和动态交互特性。 文章的核心贡献在于提出了一种新的服务组合模型——服务组(WSC)，它结合了顺序服务组合的DL规则链，并扩展到支持Split+Join结构的并发服务组合。通过这种方法，原本复杂的并发服务组合被转换为基于WSC的有序执行序列，简化了组合过程。这种规则链的使用，使得语义Web服务的组合问题能够在描述逻辑的框架内得以解决，充分利用了语义信息，避免了命题逻辑的局限性。 此外，作者还强调了这种方法相较于现有技术的优势，如避免了Petri网推理和谓词演算仅能局限于命题逻辑层面，以及智能规划方法在处理非顺序组合时的不足。通过描述逻辑规则，服务的动态特性得到了更深入的捕捉和表达，从而提高了服务组合的效率和质量。 总结来说，本文的研究成果提供了一个有效的工具，使得语义Web服务的组合可以通过描述逻辑规则的统一框架进行，提升了组合的灵活性和语义驱动能力。这对于构建更智能、更高效的语义Web服务生态系统具有重要意义。这项工作得到了国家自然科学基金、国家“八六三”高技术研究发展计划基金及中央高校基本科研业务费专项资金的支持，显示了其理论价值和实际应用前景。