中文摘要：

研究内容利用描述逻辑具有丰富的代数运算和有效的推理能力，结合形式概念分析与事实密切相关的特点，给出构建本体以及本体之间、之上的运算；本体的修正和相互之间的转换等运算，分析这些运算的性质，给出相应的推理系统及其复杂性分析；为验证这些理论方法，我们将应用在国家知识基础设施知识库中实现本体的运算、修改和推理。 研究意义本体构造是信息和知识共享中的一个关键问题，也是描述复杂系统的手段之一。由于实际信息系统具有极高的复杂性，在信息系统的本体构造中常常出现许多困难(如结构不清、矛盾、不完备、冗余等等)。另一方面，本体构造也是一个动态的过程。因此，我们需要建立一套有效的本体构造(包括修正和转换)理论和方法。

结论摘要：

作为一种知识表示方法, 本体在知识工程, 网络标记语言OWL和面向对象技术方面均有广泛的应用. 在本项目中, 我们 (1) 研究了现有的3种知识表示方法(本体, 框架和逻辑理论)的性质, 并给出了它们之间的转换关系; (2) 给出了本体修正所需要满足的基本假设(不同于信念修正的AGM公理. 信念修正的对象是公式集合; 本体是有结构的公式集合, 本体修正的对象不仅仅是公式集合, 还是一个公式结构), 并给出一个满足基本假设的具体的本体修正算法; (3) 给出了本体之间以及本体上的代数运算, 其中包括基于集合包含, 本体翻译和逻辑蕴涵的关系下的本体并, 交以及差运算; 研究了在这样的代数运算下, 一个本体集合所具有的布尔代数性质; (4) 将粗糙集合论运用到形式概念分析中. 分析了粗糙形式系统中的概念结构的代数性质. 本项目共发表(或录用)论文13篇, 其中国内外期刊5篇, 国际会议8篇, SCI收录7篇, EI收录7篇.