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