语义Web 服务发现作为分布式计算的前提和关键，备受研究者关注。多种语义Web服务描述语言的存在给异构语义Web服务的发现带来了挑战。本文提出了一种支持异构语义Web服务描述语言的发现框架iXQuery。该框架从两个方面扩展XQuery，使其支持异构语义Web服务的结构化查询与逻辑推理、模糊匹配的联合查询。一方面iXQuery利用XQuery的外部函数机制，建立了多种类型的相似度比较函数；另一方面iXQuery制定了一个统一的语义Web服务抽象描述本体，并建立了语义Web服务语言SAWSDL与OWLS与该本体之间的映射，并利用XQuery的用户自定义函数机制，建立了一系列用于抽取异构语义Web服务中信息的抽象描述操作子。最后，介绍了基于iXQuery框架的异构语义Web服务匹配器HiMatcher。

Semantic Web service discovery is the key task for distributed computing, however, various semantic Web service description languages bring challenges to heterogeneous semantic Web service discovery. This paper proposes a new mechanism for heterogeneous semantic Web service discovery, which is called iXQuery. iXQuery extends XQuery from two folds to support logic reasoning, fuzzy matching as well as structurebased query for heterogeneous semantic Web service discovery. iXQuery supports several kinds of similarity measures through exploiting the external function mechanism. Besides, we build a unified ontology which is used to describe the abstract description information of semantic Web service. The mappings between the unified ontology and each semantic Web language such as OWLS are also built. iXQuery builds several description extractors by using the XQuery userdefined functions to extract description information. Finally, the heterogeneous semantic Web service matchmaker, which is called HiMatcher, is built based on the iXQuery mechanism.