| 语义Web服务的形式化与满足性研究 |
| |
| 引用本文： | 段跃兴,段之宇.语义Web服务的形式化与满足性研究[J].计算机应用与软件,2012(9):156-158,161. |
| |
| 作者姓名： | 段跃兴 段之宇 |
| |
| 作者单位： | 太原理工大学计算机学院 |
| |
| 基金项目： | 山西省自然科学基金项目(2008011029-1) |
| |
| 摘 要： | 描述逻辑是语义网的理论基础,首先通过对语义Web服务中的输入/输出参数进行抽象描述,依据描述逻辑理论得到语义Web服务的形式化定义。从描述逻辑的角度把语义Web服务映射成某一领域中的概念,把语义Web服务的组合看成是一个新的语义Web服务的形成,新服务形成后是否有意义其实就是描述逻辑中新概念的满足性问题。通过引入Tableau算法,证明了新语义Web服务的可终止性,并给出了语义Web服务满足性的可判定过程。这一工作为具体语义下的Web服务的发现、组合等问题的解决提供了理论基础,具有十分重要的指导作用。
|
| 关 键 词： | 语义Web 描述逻辑 语义Web服务 |
ON FORMALISATION AND SATISFIABILITY OF SEMANTIC WEB SERVICES |
| |
| Duan Yuexing Duan Zhiyu.ON FORMALISATION AND SATISFIABILITY OF SEMANTIC WEB SERVICES[J].Computer Applications and Software,2012(9):156-158,161. |
| |
| Authors: | Duan Yuexing Duan Zhiyu |
| |
| Affiliation: | Duan Yuexing Duan Zhiyu(College of Computer Science and Technology,Taiyuan University of Technology,Taiyuan 030024,Shanxi,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
