语义Web服务的形式化及其组合研究

描述逻辑是语义网的理论基础,文章首先对语义Web服务中的输入/输出参数进行了抽象描述,依据描述逻辑的观点得到了语义Web服务的形式化定义。同时把语义Web服务映射成描述逻辑描述下的某一领域中的概念,通过归纳的方法组合形成了新的语义Web服务,并将新组合形成的服务是否有意义这一问题转化为了描述逻辑中概念的满足性问题。引入Tableau算法后,文章证明了新语义Web服务是可终止的,并给出了判断语义Web服务满足性的可判定过程,这一工作为具体语义下的Web服务的发现、组合等问题的解决提供了理论基础。