In our scheme, service descriptions and requirements are both expressions coded with concepts predefined in some ontology language, and service matching is reduced to subsumption checking.

• 我们提出了制定基本概念体之间相似度的计算方式，并利用相似度来找到较广义的概念体。