文件名称：论文研究-描述逻辑的动态时序扩展.pdf
文件大小：391KB
文件格式：PDF
更新时间：2022-08-11 17:49:34
动态时序描述逻辑,动作推理,表判定算法,语义Web服务
在一些基于本体的动态应用中,需要描述组合动作和变化域的时间特性。为了对这类应用建模,通过整合动态时序逻辑和描述逻辑,提出一类描述逻辑扩展。分析了该类扩展的基本形式DLTLALC的语法和语义,并提出一种可终止的tableau算法判别DLTLALC公式可满足性。利用该类扩展,可以表达组合动作执行过程中域变化的时间特性,该类扩展为语义Web服务等动态应用建模和推理提供了一条有效途径。