摘要
针对GIService服务发现,提出了基于一阶逻辑的GIService服务描述与匹配方法。使用一阶逻辑工具描述服务接口、运行条件和程序逻辑等GIService特征,提出基于描述逻辑与霍尔规则相似度计算的GIService服务匹配方法。实验案例证明,基于一阶逻辑的GIService服务发现可以全面表达GIService特征,得到更加准确的服务匹配结果。
In light of GIService discovery, this paper models geospatial information service description and matchmaking with first order logic.It uses first order logic tools to describe GIService characteristics such as interface,condition and program.It also makes GIService request and advertisement matchmaking based on DL and Horn Clause similarity.Case proves that the methodology describes GIService characteristics comprehensively, and makes service matchmaking results more accurate.
出处
《计算机工程与应用》
CSCD
北大核心
2010年第34期1-3,30,共4页
Computer Engineering and Applications
基金
国家高技术研究发展计划(863)(No.2006AA12Z201)~~
