计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2012年
2期
536-541
,共6页
动态时序描述逻辑%动作推理%表判定算法%语义Web服务
動態時序描述邏輯%動作推理%錶判定算法%語義Web服務
동태시서묘술라집%동작추리%표판정산법%어의Web복무
在一些基于本体的动态应用中,需要描述组合动作和变化域的时间特性.为了对这类应用建模,通过整合动态时序逻辑和描述逻辑,提出一类描述逻辑扩展.分析了该类扩展的基本形式DLTLALC的语法和语义,并提出一种可终止的tableau算法判别DLTLALC公式可满足性.利用该类扩展,可以表达组合动作执行过程中域变化的时间特性,该类扩展为语义Web服务等动态应用建模和推理提供了一条有效途径.
在一些基于本體的動態應用中,需要描述組閤動作和變化域的時間特性.為瞭對這類應用建模,通過整閤動態時序邏輯和描述邏輯,提齣一類描述邏輯擴展.分析瞭該類擴展的基本形式DLTLALC的語法和語義,併提齣一種可終止的tableau算法判彆DLTLALC公式可滿足性.利用該類擴展,可以錶達組閤動作執行過程中域變化的時間特性,該類擴展為語義Web服務等動態應用建模和推理提供瞭一條有效途徑.
재일사기우본체적동태응용중,수요묘술조합동작화변화역적시간특성.위료대저류응용건모,통과정합동태시서라집화묘술라집,제출일류묘술라집확전.분석료해류확전적기본형식DLTLALC적어법화어의,병제출일충가종지적tableau산법판별DLTLALC공식가만족성.이용해류확전,가이표체조합동작집행과정중역변화적시간특성,해류확전위어의Web복무등동태응용건모화추리제공료일조유효도경.