描述邏輯FL0循環術語集的保守擴充

摘要：本體的保守擴充是本體構建、本體重構的核心理論與工具。本體把領域知識形式化,實現人機之間的知識共享及知識重用。基于描述邏輯的本體保守擴充是目前研究者們所關注的焦點。盧茨(Lutz)等提出的典范模型(CanonicalModel)方法解決了非循環描述邏輯EL的保守擴充問題。研究了描述邏輯FL0的術語集的保守擴充問題,給出描述邏輯FL0循環術語集在最大不動點模型下的保守擴充算法。