Abstract: 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.

Key words: GIService, service description, service matchmaking, first order logic

摘要： 针对GIService服务发现，提出了基于一阶逻辑的GIService服务描述与匹配方法。使用一阶逻辑工具描述服务接口、运行条件和程序逻辑等GIService特征，提出基于描述逻辑与霍尔规则相似度计算的GIService服务匹配方法。实验案例证明，基于一阶逻辑的GIService服务发现可以全面表达GIService特征，得到更加准确的服务匹配结果。

关键词: 地理空间信息服务, 服务描述, 服务匹配, 一阶逻辑