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

【Abstract】 The paper proposed a description logic(DL) rules-based services interaction model,abstracted the services as message-based abstract service models,in which considered transferring service messages between services as the main mean for service interaction.Analyzed the message data transfered between services by DL concept,and built relationship between service inner data schema and DL knowledge base(KB).Described the interaction rule by DL concept and Horn clause.With the support of Tableau algorithm,the effectiveness,consistency and satisfiability of KB concepts and rules for services interaction could be checked,thus the semantic based automatic interaction between services with heterogeneous data schemas could be implemented.更多还原