动态时序描述逻辑相关论文
在一些基于本体的动态应用中,需要描述组合动作和变化域的时间特性。为了对这类应用建模,通过整合动态时序逻辑和描述逻辑,提出一......
动态时序描述逻辑(DLTLDL)是一类描述逻辑的动态时序扩展.提出一种基于DL TLALCIO的动态域建模方法,利用该方法可构造出刻画动态域知......