版本数据集之中已经收录的那些概念以及最终用户群体所已经创建或有待创建的任何其他"特别"概念的情况下，对于任何此类后组配型表达式的可靠分析和比较，的确都相当需要运用某种合适的描述逻辑分类算法。截至2007年，SNOMED CT的内容将其本身局限于EL++形式体系的一种子集；SNOMED CT将自身局限于下列运算符：在不久的将来，可能会对其逻辑加以扩展，从而将一般概念蕴含公理（）包括进来。理论上而言，为了评估其究竟是早已在世界范围内分发的那370,000个先组配型概念之中的任何一个已有概念的父概念、先祖