描述逻辑εL循环术语集的保守扩充

摘要	第1-5页
ABSTRACT	第5-9页
第一章 绪论	第9-14页
·研究背景与选题意义	第9-11页
·国内外相关领域的研究现状	第11-12页
·国外研究现状	第11-12页
·国内研究现状	第12页
·本文的整体框架	第12-14页
第二章 预备知识	第14-23页
·语义网	第14-15页
·本体	第15-19页
·本体定义	第15-16页
·本体建模元语	第16-17页
·本体语言	第17-19页
·描述逻辑	第19-23页
·描述逻辑ACC	第19-21页
·描述逻辑ALC的推理及算法	第21-23页
第三章 εL一般术语集的保守扩充	第23-33页
·描述逻辑εL保守扩充	第23-25页
·描述逻辑解释之间的模拟以及性质	第25-28页
·εL的典范模型	第28-30页
·εL的保守扩充算法	第30-33页
第四章 描述逻辑εL循环术语集的保守扩充	第33-43页
·描述逻辑εL循环术语集	第33-35页
·εL循环术语集的包含推理	第35-39页
·εL循环术语集的保守扩充	第39-43页
第五章 总结与展望	第43-45页
·工作总结	第43页
·工作展望	第43-45页
参考文献	第45-49页
硕士期间发表论文	第49-50页
致谢	第50-51页