一种带物元的动态描述逻辑

A Dynamic Description Logic with Matter Element

针对动态描述逻辑框架中只有概念和关系,在表述由于动作作用而引起的概念或个体的属性及值的变化和变化后的影响方面能力不强的问题,本文引入物元的概念及其发散规则扩充动态描述逻辑,给出了一种新的带物元的动态描述逻辑(MDDL)。文中按照传统描述逻辑的语义解释方法给出了物元的语义解释,然后引入物元及物元"一物多征"的发散推理规则,扩充动态描述逻辑的Tableau算法,生成一种新的Tableau-M算法。最后根据该算法深入研究了MDDL的基本推理问题,即实例断言集的一致性检测问题和概念与物元的可满足性检测问题。

Dynarni＇c description logic framework has weakness in describing the meanings and changes of concepts and its effects after changing because there are only concepts and relations in dynamic description logic framework. To solve this problem, the matter element and its divergence rules were injected to dynamic description logic, a new dynamic description logic with matter element （MDDL） was proposed. The paper gives the matter element＇s semantic explanation according to traditional description logic＇s： Then matter element and its divergence rules with a matter with multi-feature were injected to extend the Tableau algorithm in dynamic description logic, and a new Tableau-M algorithm was generated. At last, according to this algorithm, the paper deeply researches the basic reasoning problem of MDDL, which is the problem cheeks consistency of instance assertion set and the satisfiabilities of concept and matter element.