| decidable temporal dynamic description logic |
| Chang Liang; Shi Zhong-Zhi; Gu Tian-Long; Wang Xiao-Feng
|
| 2011
|
| 发表期刊 | Ruan Jian Xue Bao/Journal of Software
 |
| ISSN | 1000-9825
|
| 卷号 | 22期号:7页码:1524-1537 |
| 摘要 | The dynamic description logic DDL (dynamic description logic) provides a kind of action theory based on description logics. It is a useful representation of the dynamic application domains in the environment of the Semantic Web. In order to bring the representation capability of the branching temporal logic into the dynamic description logic, this paper treats the time slices of temporal logics as the executions of atomic actions, so that the temporal dimension and the dynamic dimension can be unified. Based on this idea, constructed over the description logic ALCQIO, a temporal dynamic description logic, named TDALCQIO, is presented. Tableau decision algorithm is provided for TDALCQIO. Both the termination and the correctness of this algorithm have been proved. The logic TDALCQIO not only inherits the representation capability provided by the dynamic description logic constructed over ALCQIO (attributive language with complements, qualified number restrictions, inverse roles and nominals), but it also has the ability to describe and reason about some temporal features such as the reachability property and the safety property of the whole dynamic application domains. Therefore, TDALCQIO provides further support for knowledge representation and reasoning in the environment of the Semantic Web. © Copyright 2011, Institute of Software, the Chinese Academy of Sciences.; The dynamic description logic DDL (dynamic description logic) provides a kind of action theory based on description logics. It is a useful representation of the dynamic application domains in the environment of the Semantic Web. In order to bring the representation capability of the branching temporal logic into the dynamic description logic, this paper treats the time slices of temporal logics as the executions of atomic actions, so that the temporal dimension and the dynamic dimension can be unified. Based on this idea, constructed over the description logic ALCQIO, a temporal dynamic description logic, named TDALCQIO, is presented. Tableau decision algorithm is provided for TDALCQIO. Both the termination and the correctness of this algorithm have been proved. The logic TDALCQIO not only inherits the representation capability provided by the dynamic description logic constructed over ALCQIO (attributive language with complements, qualified number restrictions, inverse roles and nominals), but it also has the ability to describe and reason about some temporal features such as the reachability property and the safety property of the whole dynamic application domains. Therefore, TDALCQIO provides further support for knowledge representation and reasoning in the environment of the Semantic Web. © Copyright 2011, Institute of Software, the Chinese Academy of Sciences. |
| 收录类别 | EI
|
| 关键词 | Algorithms
Computability And Decidability
Data Description
Formal Languages
Knowledge Representation
Semantic Web
Semantics
User Interfaces
|
| 部门归属 | (1) Guangxi Key Laboratory of Trusted Software Guilin University of Electronic Technology Guilin 541004 China; (2) Key Laboratory of Intelligent Information Processing Institute of Computing Technology The Chinese Academy of Sciences Beijing 100190 China
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/16160
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
Chang Liang,Shi Zhong-Zhi,Gu Tian-Long,et al. decidable temporal dynamic description logic[J]. Ruan Jian Xue Bao/Journal of Software,2011,22(7):1524-1537.
|
| APA |
Chang Liang,Shi Zhong-Zhi,Gu Tian-Long,&Wang Xiao-Feng.(2011).decidable temporal dynamic description logic.Ruan Jian Xue Bao/Journal of Software,22(7),1524-1537.
|
| MLA |
Chang Liang,et al."decidable temporal dynamic description logic".Ruan Jian Xue Bao/Journal of Software 22.7(2011):1524-1537.
|
修改评论