CSCW中经常有多种本体库同时存在,然而这些本体库之间相互独立,不利于协同工作的顺利进行,另外,许多类似于框架表示的本体库缺乏精确的语义。为解决此问题,该文提出了用上层本体将不同本体库关联,并通过描述逻辑本体库为其它本体库提供精确的语义。文章重点介绍了基于描述逻辑的谔言CSONTO,提出了相应的算法对术语分类。