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

Conservative Extension in Descriptive Logic FL0 with Cyclic Terminology

本体的保守扩充是本体构建、本体重构的核心理论与工具。本体把领域知识形式化,实现人机之间的知识共享及知识重用。基于描述逻辑的本体保守扩充是目前研究者们所关注的焦点。卢茨(Lutz)等提出的典范模型(CanonicalModel)方法解决了非循环描述逻辑EL的保守扩充问题。研究了描述逻辑FL0的术语集的保守扩充问题,给出描述逻辑FL0循环术语集在最大不动点模型下的保守扩充算法。

The conservative extension of ontology is the core theory and tool of ontology construction and ontology reconstruction.The ontology formalizes domain knowledge and realizes knowledge sharing and knowl-edge reuse between humans and machines.The ontological conservative extension based on descriptive logic is the focus of current researchers.The Canonical Model proposed by Lutz et al.solves the problem of conser-vative extension of the non-cyclic description logic EL.This paper studies the conservative extension of the term set of descriptive logic FL0,and gives a conservative extension algorithm of the term set of descriptive logic FL0 under the maximum fixed point model.