循环ALCN-Tbox的模型构造

从语法和语义的角度分析了描述逻辑ALCN的Tbox中循环定义理论框架的缺陷和困难,然后主要讨论了没有、、出现的,关系R的深度均为1的循环ALCN-Tbox的模型构造方法。

循环ALCN-Tbox具有模型的条件

分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone)的错误,并对该命题进行了修改,给出了循环ALCN-Tbox具有不动点模型(最小不动点模型和最大不动点模型)的条件.

循环描述逻辑TBOX中的完备格

描述逻辑中含有循环定义的TBox通常使用固定点模型来刻画循环定义的语义,对于固定点模型,不仅需要研究其存在性,还需要研究模型之间的关系,如是否存在最大、最小固定点模型。TBox中所有模型扩展集合上的偏序关系可以诱导出格结构,而且是完备格,现有的研究得出的一些结论主要是针对此完备格。考虑在特定固定点下,概念解释域上的偏序关系同样可以诱导出格。对这种格进行研究得出了一些有益的结论,这些结论为深入研究循环描述逻辑语义提供了新的思路。

描述逻辑ALC中的TBox推理机制研究

领域专家知识库的构建及其推理在专家系统中具有重要的作用,为此介绍了基于描述逻辑的知识表示方法对知识库的体系结构及其基本的组成部分,以及描述描述逻辑系统ALC中的非循环TBox、循环TBox、含有包含关系的TBox和空TBox;通过引入固定点语义来定义循环TBox,应用概念的等价扩展来消除TBox,以简单化知识库的推理;并给出了空TBox下的推理算法及其正确性的说明.