[1]段跃兴.语义 Web 服务的形式化及其组合研究[J].计算机技术与发展,2013,(01):1-4.
　DUAN Yue-xing.Research on Formalization and Composition of Semantic Web Services[J].,2013,(01):1-4.
点击复制

语义 Web 服务的形式化及其组合研究()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2013年01期
页码:
1-4
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Research on Formalization and Composition of Semantic Web Services
文章编号:
1673-629X（2013）01-0001-04
作者:
段跃兴
太原理工大学 计算机科学与技术学院
Author(s):
DUAN Yue-xing
关键词:
语义; Web; 服务; 描述逻辑; Tableau; 算法
Keywords:
semantic Web services; description logic; Tableau algorithm
文献标志码:
A
摘要:
描述逻辑是语义网的理论基础,文章首先对语义 Web 服务中的输入/输出参数进行了抽象描述,依据描述逻辑的观点得到了语义 Web 服务的形式化定义.同时把语义 Web 服务映射成描述逻辑描述下的某一领域中的概念,通过归纳的方法组合形成了新的语义 Web 服务,并将新组合形成的服务是否有意义这一问题转化为了描述逻辑中概念的满足性问题.引入 Tableau 算法后,文章证明了新语义 Web 服务是可终止的,并给出了判断语义 Web 服务满足性的可判定过程,这一工作为具体语义下的 Web 服务的发现、组合等问题的解决提供了理论基础
Abstract:
Description logic is the theoretical basis of the semantic Web. Through depicting abstractly the input/ output parameter type in semantic Web services,get the formal definition of semantic Web services. According to the description logic point of view,semantic Web services were mapped into a concept in the domain,by the combination of semantic Web services inductively define the new concept to form a new semantic Web services. Whether the new service makes sense depends on the satisfiability of the new concept of description logic. By introducing of Tableau algorithms,proved that the new semantic Web service can be terminated and given a decision procedure for satisfiability of semantic Web services. This work provides a theoretical basis for discovering and compositing the Web services under specific semantics

相似文献/References:

[1]秦振海 谭守标 徐超.基于Web的表格信息抽取研究[J].计算机技术与发展,2010,(02):217.
　QIN Zhen-hai,TAN Shou-biao,XU Chao.Study on ,Tables Information Extraction Based on Web[J].,2010,(01):217.
[2]陆遥 魏皎 陈丽果.基于Web的个性化营养评估保障系统设计与实现[J].计算机技术与发展,2010,(03):1.
　LU Yao,WEI Jiao,CHEN Li-guo.Design and Implementation of Web - Based Personalized Intelligent Nutrition Assessment and Guarantee System[J].,2010,(01):1.
[3]何忠秀 王霜 杜亚军.基于Web的多渠道用户需求知识获取框架研究[J].计算机技术与发展,2010,(04):124.
　HE Zhong-xiu,WANG Shuang,DU Ya-jun.Research on Multi- channel＇s Knowledge Acquisition Frame for Customer Requirements Based on Web[J].,2010,(01):124.
[4]戴伟 陈永艳.基于物理隔离环境下的Web Service访问研究[J].计算机技术与发展,2010,(04):167.
　DAI Wei,CHEN Yong-yan.Research on Web Service Access Approach in Physical Separation[J].,2010,(01):167.
[5]陈磊 陈盈.基于语义的信息集成系统研究[J].计算机技术与发展,2010,(06):74.
　CHEN Lei,CHEN Ying.Research on Semantic-Based Information Integration System[J].,2010,(01):74.
[6]高永兵 吴纪磊 胡文江 魏晓东.基于Web服务的Mashup应用的研究与实现[J].计算机技术与发展,2010,(06):137.
　GAO Yong-bing,WU Ji-lei,HU Wen-jiang,et al.Research and Implementation of Mashup Application Based on Web Service[J].,2010,(01):137.
[7]高云全.一种基于语义的Web服务动态组合及其实现[J].计算机技术与发展,2009,(06):65.
　GAO Yun-quan.A Dynamic Web Services Composition and Realization Based on Semantic[J].,2009,(01):65.
[8]许晓宏 胡志学 张建军[].基于Web的石油科技管理自动化办公系统[J].计算机技术与发展,2009,(06):213.
　XU Xiao-hong,HU Zhi-xue,ZHANG Jian-jun.Office Automation System of Petroleum Science and Technology Management Based on Web[J].,2009,(01):213.
[9]宋丽华 刘方爱.基于WebService的网格服务功能的研究[J].计算机技术与发展,2009,(07):59.
　SONG Li-hua,LIU Fang-ai.Research of Functions of Grid Service Based on Web Service[J].,2009,(01):59.
[10]周爱武 李玉梅 周闪闪 王宝铜.基于返回结果的DeepWeb查询接口识别[J].计算机技术与发展,2009,(07):117.
　ZHOU Ai-wu,LI Yu-mei,ZHOU Shan-shan,et al.Recognized Query Interface of Deep Web Based on Response Pages[J].,2009,(01):117.

更新日期/Last Update: 1900-01-01