OWL-S的形式语义

蒋运承; 史忠植

首页> 中文期刊>计算机科学 >OWL-S的形式语义

OWL-S的形式语义

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文分析了目前语义Web服务的研究现状和存在的问题,特别是语义Web服务描述本体OWL-S的形式语义研究中存在的问题,在Srini Narayanan等人研究的基础上,用情景演算理论进一步研究了OWL-S中组合服务描述的形式语义,从而完善了OWL-S的形式语义,为语义Web服务提供了合理的理论基础.

著录项

来源
《计算机科学》|2005年第7期|5-7,16|共4页
作者
蒋运承; 史忠植;
展开▼
作者单位

广西师范大学数学与计算机科学学院,桂林,541004;

中国科学院计算技术研究所,北京,100080;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
语义Web服务; OWL-S; 情景演算; 形式语义;
入库时间 2023-07-24 19:22:47

相似文献

中文文献
外文文献
专利

1. 形式语义学视角下的命题符号理论研究综述 [J] . 付勇君 . 兰州交通大学学报 . 2020,第001期
2. Tabular表达式中正规函数表操作的形式语义 [J] . 周文博 ,刘磊 ,张鹏 . 华南理工大学学报（自然科学版） . 2019,第002期
3. BPMN2.0编排的形式语义和分析 [J] . 代飞 ,赵文卓 ,杨云 . 软件学报 . 2018,第004期
4. 九句因理论的形式语义学 [J] . 许春梅 . 逻辑学研究 . 2018,第004期
5. 隐含时态化条件句的形式语义学 [J] . 李烜 . 西南大学学报（社会科学版） . 2016,第005期
6. XML树模式查询的描述语言及形式语义 [C] . LIAO Husheng ,廖湖声 ,LI Xiaoqing . 第十一届全国软件与应用学术会议（NASAC2012） . 2012
7. 基于粗糙集的英语主情态动词和准情态动词形式语义差别对比分析 [A] . 任强 . 2018

OWL-S的形式语义

摘要

著录项

相似文献

相关主题

期刊订阅