|
|||||
|
|
| 描述逻辑的动态时序扩展* | |
| 引用本文： | 孙永新,赵希顺,符志强. 描述逻辑的动态时序扩展*[J]. 计算机应用研究, 2012, 29(2): 536-541 |
| 作者姓名： | 孙永新 赵希顺 符志强 |
| 作者单位： | 1. 中山大学逻辑与认知研究所,广州510275;仲恺农业工程学院计算机科学与工程学院,广州510225 2. 中山大学逻辑与认知研究所,广州,510275 3. 仲恺农业工程学院计算机科学与工程学院,广州,510225 |
| 基金项目： | 国家自然科学基金资助项目(60970040) |
| 摘 要： | 在一些基于本体的动态应用中,需要描述组合动作和变化域的时间特性。为了对这类应用建模,通过整合动态时序逻辑和描述逻辑,提出一类描述逻辑扩展。分析了该类扩展的基本形式DLTLALC的语法和语义,并提出一种可终止的tableau算法判别DLTLALC公式可满足性。利用该类扩展,可以表达组合动作执行过程中域变化的时间特性,该类扩展为语义Web服务等动态应用建模和推理提供了一条有效途径。 |
| 关 键 词： | 动态时序描述逻辑 动作推理 表判定算法 语义Web服务 |
Dynamic linear temporal extensions of description logics |
|
| SUN Yong-xin,ZHAO Xi-shun,FU Zhi-qiang. Dynamic linear temporal extensions of description logics[J]. Application Research of Computers, 2012, 29(2): 536-541 | |
| Authors: | SUN Yong-xin ZHAO Xi-shun FU Zhi-qiang |
| Affiliation: | (1.Institute of Logic & Cognition, Sun Yat-sen University, Guangzhou 510275, China; 2.College of Computer Science & Engineering, Zhongkai University of Agriculture & Engineering, Guangzhou 510225, China) |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 | |
| 点击此处可从《计算机应用研究》下载全文 | |