摘要
1 绪论
1.1 研究背景与选题意义
1.2 国内外相关领域的研究现状
1.3 论文的出发点
2 描述逻辑IS-εL循环术语集
2.1 概念描述的语法和语义
2.2 IS-εL的循环术语集
2.3 IS-εL循环术语集的可满足性
2.4 对已有成果进行分析,提出新问题
3 描述图
3.1 TBox的正规化
3.2 描述图
3.3 模拟关系
4 匹配方法的引入
4.1 仅含一个被定义概念的术语集的可满足性
4.1.1 形如N≡(3)r.N
4.1.2 形如N≡(3)r1(3)r2…(3)rk.N
4.1.3 形如N≡(3)r1.N∏(3)r2.N
4.2 含两个被定义概念的术语集的可满足性
4.2.1 形如N≡(3)r1.N1,N1≡(3)r2.N
4.2.2 形如N≡(3)r.((3)r.N∏(3)r1.N)
4.3 两个基解释之间的推理
4.4 关于本文提出的2个问题
5 未来与展望
参考文献
致谢
声明
广西师范大学;