基于一阶逻辑GIService服务发现

《基于一阶逻辑GIService服务发现》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、ComputerEngineeringandApplications计算机工程与应用2010，46（34）1⦾博士论坛⦾基于一阶逻辑的GIService服务发现黄骞，高勇，邬伦HUANGQian，GAOYong，WULun北京大学遥感与地理信息系统研究所，北京100871InstituteofRemoteSensingandGeographicInformationSystem，PekingUniversity，Beijing100871，ChinaE-mail：skyswind@pku.edu.cnHUANG

2、Qian，GAOYong，WULun.GIServicediscoverybasedonfirstorderlogic.ComputerEngineeringandApplica-tions，2010，46（34）：1-3.Abstract：InlightofGIServicediscovery，thispapermodelsgeospatialinformationservicedescriptionandmatchmakingwithfirstorderlogic.Itusesfirstorderlogic

3、toolstodescribeGIServicecharacteristicssuchasinterface，conditionandpro-gram.ItalsomakesGIServicerequestandadvertisementmatchmakingbasedonDLandHornClausesimilarity.CaseprovesthatthemethodologydescribesGIServicecharacteristicscomprehensively，andmakesservicemat

4、chmakingresultsmoreaccurate.Keywords：GIService；servicedescription；servicematchmaking；firstorderlogic摘要：针对GIService服务发现，提出了基于一阶逻辑的GIService服务描述与匹配方法。使用一阶逻辑工具描述服务接口、运行条件和程序逻辑等GIService特征，提出基于描述逻辑与霍尔规则相似度计算的GIService服务匹配方法。实验案例证明，基于一阶逻辑的GIService服务发现可以全面表达GISer

5、vice特征，得到更加准确的服务匹配结果。关键词：地理空间信息服务；服务描述；服务匹配；一阶逻辑DOI：10.3778/j.issn.1002-8331.2010.34.001文章编号：1002-8331（2010）34-0001-03文献标识码：Ａ中图分类号：TP791前言理空间数据的操作特征。因此，本文使用三个描述子句对GIService（地理空间信息服务）服务发现是从服务集中寻GIService功能特征进行多角度表达：（1）服务接口子句，描述找满足需求的服务实例的方法，包含服务描述与服务匹配两服务的外部数

6、据流，即输入输出参数；（2）运行条件子句，描述个部分：服务描述将用户对服务功能的需求与已有服务实例服务运行前后数据必须满足的条件，以及服务运行前后地理的功能分别表达为服务请求与服务广告，服务匹配则通过衡空间数据的改变；（3）程序逻辑子句，描述服务对数据的操作量其匹配程度获取满足用户需求的服务实例。过程。目前国内外研究集中于基于语义本体的GIService服务2.1服务接口子句发现，例如基于OWL-S等描述逻辑本体技术的服务发现[1-2]，服务接口子句继承了目前常用服务语义描述方法与技术[1]，然而描述逻辑虽能准

7、确定义服务概念，突破传统基于关键词使用描述逻辑本体定义服务接口数据类型。描述逻辑是一阶等纯文本服务描述所带来的歧义与多义问题，但是由于功能逻辑的可判定子集，适合表达概念以及概念与概念之间的关所限只适用于服务接口表达，导致对接口相似的服务集查准系[1]。在GIService服务描述中通常使用描述逻辑定义地理空率较低[1]。因此，本文使用表达能力更强的一阶逻辑全面描述间数据类型概念层次关系，并实现领域本体库作为服务共享GIService特征，并使用相似度计算方法提高服务匹配的查准率。词典[1]。在服务匹配阶段，则可

8、以根据服务请求与服务广告的参数类型概念进行包含关系分析从而计算服务接口匹配度。2GIService服务描述2.2运行条件子句作为以数据为中心[3]的新一代地理信息系统的关键实现运行条件子句由描述服务运行前地理空间数据特征的前技术，GIService功能集中于数据互操作、挖掘与管理等对地理置条件子句，以及描述服务运行后地理空间数据改变的后置空间数据的操作之上。所以为了充分表达GIServ