语义Web服务的形式化及其组合研究
描述逻辑是语义网的理论基础，文章首先对语义Web服务中的输入/输出参数进行了抽象描述，依据描述逻辑的观点得到了语义Web服务的形式化定义。同时把语义Web服务映射成描述逻辑描述下的某一领域中的概念，通过归纳的方法组合形成了新的语义Web服务，并将新组合形成的服务是否有意义这一问题转化为了描述逻辑中概念的满足性问题。引入Tableau算法后，文章证明了新语义Web服务是可终止的，并给出了判断语义Web服务满足性的可判定过程，这一工作为具体语义下的Web服务的发现、组合等问题的解决提供了理论基础。
语义Web服务 描述逻辑 tableau算法
段跃兴
太原理工大学 计算机科学与技术学院 山西 太原 030024
国内会议
西安
中文
1-8
2012-08-16（万方平台首次上网日期，不代表论文的发表时间）