Dynamic Description Logic Based on DL-Lite

摘要：

　　Description logics offer considerable expressive power for describing knowledge about static application domains while reasoning is still decidable.The dynamic description logic DDL is a family of dynamic extensions of description logics for representing and reasoning about knowledge of dynamic application domains.In order to provide effective reasoning mechanisms, systems of DDL investigated in the literatures assume that there is no general concept inclusion(GCI) contained in the knowledge base.In this paper, we build a system of dynamic description logic based on the tractable description logic DL-LiteprR, in such a way that all the knowledge described by DL-LiteprR is supported by our system.A decision algorithm is provided for our system DDL-LiteprR.Termination and correctness of the algorithm are proved.

关键词： description logic dynamic description logic action theory satisfi-ability tableau algorithm

作者: Na Zhang Liang Chang Zhoubo Xu Tianlong Gu

作者单位: Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology,Guilin 541004, China

会议类型: 国际会议

会议名称: 8th International Conference on Intelligent Information Processing(2014年IFIP智能信息处理国际会议)

会议地点: 杭州

会议语种:英文

页码: 171-177

在线出版日期: 2014-10-01（万方平台首次上网日期，不代表论文的发表时间）