描述逻辑是语义Web的逻辑基础,它为本体的知识表达、逻辑推理等提供必要的理论依据。随着Web中本体数量与规模的增加,如何对这些本体进行更新和维护成为一个亟待解决的问题。由于语义Web的分布性和开放性,往往需要在开世界假设下对本体知识进行更新。Hongkai Liu等人指出在开世界假设下经典描述逻辑ALCO等不具备更新的封闭性,而将@操作符引入描述逻辑后的ALCO@具有更新的封闭性。本文以描述逻辑ALCO@为研究对象,借鉴STRIPS系统的思路,对开世界假设下知识的更新进行了研究,主要工作如下:　　 (1)将确定集和冲突集的概念引入更新过程,并在Tableau算法的基础之上给出了确定集和冲突集的生成算法,进而给出了适用于开世界假设的Abox更新算法。该算法将更新过程中导致系统不一致的断言单独进行处理,避免了对每个断言的更新都去分解原知识库的断言;　　 (2)对冲突集生成算法和更新算法进行了复杂性分析,并在此基础上对算法进行了可终止性证明;　　 (3)鉴于当前描述逻辑推理机缺少对@操作符的支持,设计并实现了一个基于ALCO@的对概念进行可满足性检验的推理机。将该推理机划分为OWL解析,断言扩展,冲突检测等模块。设计了概念、断言等描述逻辑基本元素在内存中的存储结构,并给出了每个模块的流程图与伪代码,最后给出了一个推理实例。