中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
  2. 软件研究所
  3. 软件所图书馆
  4. 期刊论文
decidable temporal dynamic description logic

文献类型：期刊论文

作者Chang Liang ; Shi Zhong-Zhi ; Gu Tian-Long ; Wang Xiao-Feng
刊名Ruan Jian Xue Bao/Journal of Software
出版日期2011
卷号22期号:7页码:1524-1537
关键词Algorithms Computability and decidability Data description Formal languages Knowledge representation Semantic Web Semantics User interfaces
ISSN号1000-9825
中文摘要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
语种中文
公开日期2013-10-08
源URL[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.

入库方式： OAI收割

来源：软件研究所

浏览0
下载0
收藏0
其他版本

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。