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