一个新的DL-Lite中ABox修正算子,漆桂林,高四辈,提出了针对描述逻辑DL-Lite的一个新的本体修正算子,用于修正本体的ABox。这里ABox指的是本体中的由一些断言组成的集合。证明了该算子