基于SROIQB的语义Web服务建模和组合

Using SROIQB to model and compose semantic Web service

提出了一种基于SROIQB的语义Web服务建模和组合方法。首先,从OWL-S所提供的原子服务和组合流程语义描述出发,详细分析了原子服务的IOPE属性与顺序、选择、乱序、条件、迭代、循环、分支和汇合等组合流程的控制结构,将原子服务的输入、输出语义视为描述逻辑的概念,将原子服务和组合流程分别建模为描述逻辑中的原子角色和布尔角色公式,基于概念和角色蕴含公理对语义Web服务的可实现性、可执行等功能语义进行刻画。其次,将本体中概念的上下位关系等价表示为描述逻辑的概念蕴含公理,在描述逻辑的框架下建立了领域本体与语义Web服务的联系,将语义Web服务的并发和顺序组合问题归结为基于描述逻辑知识库的蕴含关系判定和一致性检查等推理问题。从而在描述逻辑的框架内,对语义Web服务组合问题,提出了一种既具有足够的建模能力,又保证组合推理过程可判定的新方法。

One kind of semantic Web service modeling and reasoning method based on description logic with Boolean role constructors(SROIQB) was introduced.By using DL to figure out the hyponymy relationship between concepts in domain ontology and model Web service functional semantic in ServiceProfile,and define Boolean role expressions to describe the composition process in ProcessProfile respectively.Furthermore,Boolean role expression is introduced to describe all possible composition structures of atomic services and then semantic Web service composition can be re-garded as a process of consistence checking and class subsumption computing reasoning on DL knowledge base.Thus the comparison and example validation show that introduced one kind of new and reasonable semantic Web service modeling and composition method in the framework of semantic Web by using SROIQB,which with more strong expressive capa-bility and decidable type inference.