10.3969/j.issn.1000-386x.2012.09.042
语义Web服务的形式化与满足性研究
描述逻辑是语义网的理论基础,首先通过对语义Web服务中的输入/输出参数进行抽象描述,依据描述逻辑理论得到语义Web服务的形式化定义.从描述逻辑的角度把语义Web服务映射成某一领域中的概念,把语义Web服务的组合看成是一个新的语义Web服务的形成,新服务形成后是否有意义其实就是描述逻辑中新概念的满足性问题.通过引入Tableau算法,证明了新语义Web服务的可终止性,并给出了语义Web服务满足性的可判定过程.这一工作为具体语义下的Web服务的发现、组合等问题的解决提供了理论基础,具有十分重要的指导作用.
语义Web、描述逻辑、语义Web服务
29
TP393(计算技术、计算机技术)
山西省自然科学基金项目2008011029-1
2013-03-13（万方平台首次上网日期，不代表论文的发表时间）
共4页
156-158,161
