摘要：本体是指对领域概念化的一个显式的规格说明，应用在智能体间的通信、异构信息的集成、语义Web等领域。利用描述逻辑建立了一个简单本体的形式化模型——一个四元组，包括术语集、实例集、术语定义集和实例声明集，然后分析了本体术语检验问题。术语检验包括术语的可满足性、等价性、包含性及非交性检验，这4种检验可以归结为包含性检验。最后给出术语包含性的检验方法，并证明了这种方法的合理性与完备性。

关键词：本体模型 包含性检验 描述逻辑 

单位：上海交通大学安泰管理学院; 上海200052