描述逻辑在基于语义的服务消息交互中的应用*

提出了一个基于描述逻辑规则的自动服务交互的模型框架，将服务抽象成基于消息的服务模型。该服务模型将在服务之间传递的面向对象的服务消息作为服务交互的主要手段，使用描述逻辑的概念对服务之间传递的消息数据进行语义分析，在服务内部数据模式与描述逻辑知识库间建立对应关系。在交互规则方面，使用基于描述逻辑和Horn子句进行描述；在描述逻辑的Tableau算法的支持下，对知识库概念和规则进行有效性、一致性和可满足性的验证，实现数据异构模式下服务间基于语义的自动交互。