知识库是智能教学系统的核心部分。自从本体理论和本体技术被研究者引入计算机领域后,构建知识库的技术和方法得到了很大程度地改进和完善,变得更为便捷和成熟。本研究采用Protege本体软件,利用相应的构建技术和方法探讨了基于本体的氧化还原知识库的构建。本文共分为五章。第一章主要从三个方面介绍了研究的缘起和意义。第二章对知识库理论和教学领域知识库的研究现状进行了论述,继而是对知识表示和本研究中使用的两种知识表示方法——概念图和本体知识表示法进行了详细的阐述,并论述了本体知识表示方法的优越性。第三章首先介绍了本体的组成、构建工具以及构建语言,并建立了本体与知识库的联系；其次论述了本体在教育领域及Protege本体软件在学科知识库构建中的研究现状。第四章是本研究的实践部分。在本章中确定了氧化还原知识库的构建方法和技术路线,并以高中化学必修1中的氧化还原反应为例阐述了学科专题知识库的构建过程,最后还采用解答习题归纳知识点的方式评价本体知识库的完整性。第五章是理论和实践的总结,以及对进‘步研究的设想和展望。通过研究,本人在梳理中学化学氧化还原知识体系的基础上,并从知识库和本体的角度结合化学学科特色建立了中学化学氧化还原知识关系模型,在相关研究基础上确定了一种有效的构建学科专题知识库的技术和方法；找到了一种可行的评价本体的方法——解答习题归纳知识点。