描述逻辑εVL的保守扩充

Conservative Extensions in Description Logic εVL

在描述逻辑中,将本体看作一个逻辑理论,一个本体被形式化为给定的描述逻辑系统的一个Tbox。本体是动态的实体,为了适应新领域的发展,需要对原始本体进行扩充,但是扩充后的本体与原始本体是否保持逻辑一致性是目前研究者们所关注的焦点。在Lutz等人研究的基础上探究εVL的保守扩充问题,构建了εVL的典范模型,将包含推理问题转换为典范模型的模拟问题;由典范模型之间的最大模拟是多项式时间复杂的,证明了εVL的包含推理是多项式时间复杂的;给出了描述逻辑εVL的保守扩充及其判定算法,证明了εVL的保守扩充的判定算法是指数时间复杂的。

In fact ontology is definitely the structured knowledge base in description logic.As we know,knowledge is not always the same,so it needs to be extended as long as new improvement appears in this field.It is concerned that whether it is consistent with the primitive one after extension.The conservative extension ofεVLsystem was analyzed based on Lutzs' work.Firstly theεVLcanonical model was constructed and the inclusion inference was reduced to the simulations between twoεVLcanonical model.The complexity was pointed out to be polynomial based on that the canonical models' largest simulation is polynomial.After that theεVLconservative extension algorithm was presented and its complexity was proved to be exponential.