| OWL—S的形式语义 |
| |
| 引用本文： | 蒋运承,史忠植.OWL—S的形式语义[J].计算机科学,2005,32(7):5-7. |
| |
| 作者姓名： | 蒋运承 史忠植 |
| |
| 作者单位： | 1. 广西师范大学数学与计算机科学学院,桂林,541004
2. 中国科学院计算技术研究所,北京,100080 |
| |
| 基金项目： | 国家863项目(No.2003AA115220)，广西师范大学博士启动基金 |
| |
| 摘 要： | 本文分析了目前语义Web服务的研究现状和存在的问题，特别是语义web服务描述本体OWL-S的形式语义研究中存在的问题，在Srini Narayanan等人研究的基础上，用情景演算理论进一步研完了OWL—S中组合服务描述的形式语义，从而完善了OWL—S的形式语义，为语义Web服务提供了合理的理论基础。
|
| 关 键 词： | 形式语义 OWL Web服务 web服务 语义Web 研究现状 理论基础 服务提供 |
The Formal Semantics of OWL-S |
| |
| JIANG Yun-Cheng,SHI Zhong-zhi.The Formal Semantics of OWL-S[J].Computer Science,2005,32(7):5-7. |
| |
| Authors: | JIANG Yun-Cheng SHI Zhong-zhi |
| |
| Affiliation: | JIANG Yun-Cheng,SHI Zhong-Zhi College of Mathematics and Computer Sciences,Guangxi Normal University,Guilin 541004 Institute of Computing Technology,The Chinese Academy of Sciences,Beijing 100080 |
| |
| Abstract: | |
| |
| Keywords: | Semantic Web services OWL-S Situation calculus theory Formal semantics |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
