相同领域的不同组织使用不同本体，共同使用这些本体变得很必要，因此各个本体间需要进行匹配。目前研究人员提出了许多解决关于本体匹配问题的技术，这些技术主要用于本体中的一对一匹配。同时人们也对本体匹配提出了更高的要求，如匹配的结果能够更精确，其中一个要求就是处理复杂情况下，一个本体中的单个实体匹配另一个本体中的一组实体简称一对多匹配。 本体一对多匹配主要存在于以分类结构为组织方式的本体中，本文针对这个特点提出使用分类结构的定义来解决。语义匹配方法具有使用正式语义的优点，更适合用于解决本体的一对多匹配。根据分类结构的特点定义匹配过程中使用的定理。首先使用分类结构的定义对本体中的实体进行语义解释得到实体的概念，将实体对间的预设语义关系转换为命题公式，运行SAT(propositional satisfiability)验证该公式的有效性，得到本体中的一对一匹配结果。然后在一对一匹配结果的基础上，利用分类结构的定理得到一对多的匹配结果。最后实现一个原型系统，主要实现本体匹配中找出一对多匹配的过程。 目前存在的语义匹配方法有CTXmatch，它仅限制用于概念层次结构。S-Match是CTXmatch系统添加一些功能的重新实现，只允许处理树形结构(像分类结构或概念层次结构)。本文中使用的方法是建立在这种方法的基础上的，语义解释不是使用直接节点的概念或者根据路径解释节点概念，而是使用分类结构的特点解释节点概念，从而实现一对多的本体匹配。