本体知识库的循环不动点语义研究
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-10页 |
| 1 引言 | 第10-15页 |
| ·研究背景和意义 | 第10-11页 |
| ·研究的背景 | 第10-11页 |
| ·研究的意义 | 第11页 |
| ·处理知识库中否定信息的研究现状 | 第11-12页 |
| ·本体知识库研究现状 | 第12-14页 |
| ·文章的内容和结构 | 第14-15页 |
| 2 可分层程序的循环不动点语义 | 第15-24页 |
| ·一阶逻辑程序语言的语法和语义 | 第16-18页 |
| ·可分层程序 | 第18-19页 |
| ·模型与不动点 | 第19-20页 |
| ·可分层程序的语义模型 | 第20-23页 |
| ·本章小结 | 第23-24页 |
| 3 本体知识库理论概述 | 第24-33页 |
| ·本体理论 | 第24-27页 |
| ·本体的概念 | 第24-25页 |
| ·本体的构建 | 第25-27页 |
| ·描述逻辑概述 | 第27-32页 |
| ·描述逻辑的基本体系 | 第27-28页 |
| ·描述语言 | 第28-30页 |
| ·术语集合TBox | 第30-31页 |
| ·断言集合ABox | 第31-32页 |
| ·本章小结 | 第32-33页 |
| 4 本体知识库的循环不动点语义 | 第33-55页 |
| ·TBox的语义模型 | 第33-39页 |
| ·NCTBox与CTBox | 第34-35页 |
| ·TBox的不动点语义 | 第35-39页 |
| ·可分层术语集合理论 | 第39-44页 |
| ·CTBox_N语义模型存在的条件 | 第39-42页 |
| ·可分层术语集合的定义与判定 | 第42-44页 |
| ·本体知识库下操作符T_J的不动点理论 | 第44-48页 |
| ·术语集合下操作符T_J的权限 | 第44-46页 |
| ·术语集合下操作符T_J的迭代相关组 | 第46-48页 |
| ·可分层术语集合的语义模型 | 第48-53页 |
| ·本章小结 | 第53-55页 |
| 5 结论 | 第55-57页 |
| ·本文工作总结 | 第55页 |
| ·下一步工作展望 | 第55-57页 |
| 参考文献 | 第57-59页 |
| 作者简历 | 第59-61页 |
| 学位论文数据集 | 第61页 |
