中文摘要：

针对GIService服务发现，提出了基于一阶逻辑的GIService服务描述与匹配方法。使用』阶逻辑工具描述服务接口、运行备件和程序逻辑等GIService特征，提出基于描述逻辑与霍尔规则相似度计算的OIService服务匹配方法。实验案例证明，基于一阶逻辑的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.