论文部分内容阅读
基于人们对可继承系统的缺省理论的研究,以及本体与可继承系统的相似性,对本体的缺省理论进行研究。本体包括一组概念和性质;概念之间的从属关系以及概念和性质之间的继承和缺省继承关系。在本体的缺省理论中,本体中所有的断言被表示为事实;并且性质从概念到其子概念的缺省继承被表示为正规缺省。在给出本体的定义和推理规则后,对本体的缺省理论及其特性进行了深入地研究。