描述逻辑FLε最近获得了比较大的关注。一方面，重要的推理问题（如包含问题）是多项式的；另一方面FLε被用做定义大的本体。变量概念的合一（概念模式）是一个已在概念描述逻辑的背景介绍的相对较新的操作。描述逻辑的合一算法能够作为一个新奇的推理，它被用做发现本体的冗余。UFLE是一个系统，计算概念描述阐述合一问题的合一公式。 FLε是限制表达力的描述逻辑，但它仍然是表现足够生物医学本体的形式体系，如大型医学本体论。本文建议通过计算两个涉嫌表达同一概念的应用程序域中的正式概念的合一公式，使用UFLE作为一种工具来检测这种本体的冗余。UFLE可以作为一个流行本体的插件程序，或作为一个独立的合一。本文主要的结果FL ε合一算法是可判定的。更精确地， FL ε的一个部分εL是多项式完全，因此它和εL匹配有相同的计算复杂性。本文给出了描述FLε语义和语法的概念，并且给出了描述逻辑系统FLε的合一算法类型及证明。特别地，蕴含合一问题没有有限的完备合一公式集。本文基于合一的规则探讨了拥有存在算子算子和值限算子的FLε可判定性问题。