计算机应用研究2012，Vol.29Issue(2)：536-541,6.DOI:10.3969/j.issn.1001-3695.2012.02.036
描述逻辑的动态时序扩展
Dynamic linear temporal extensions of description logics
摘要
Abstract
In some ontology based dynamic applications, there are needs for describing composite actions and time properties about changing domains. This paper proposed a family of extensions of description logics, integrating description logics into dynamic linear time temporal logic, for modeling these applications. First analyzed the syntax, semantics of DLTLALC, the basic formalism of the extensions, and presented a terminating tableau algorithm for determining the DLTLALC-formulas' satisfiability. With the extensions, time properties about changing domains according to the execution of composite actions can be expressed , so the extensions provide good support for modeling and reasoning about dynamic applications, such as semantic Web services etc.;关键词
动态时序描述逻辑/动作推理/表判定算法/语义Web服务Key words
dynamic linear temporal description logics/ reasoning about actions/ tableau decision algorithm/ semantic Web service分类
信息技术与安全科学引用本文复制引用
孙永新,赵希顺,符志强..描述逻辑的动态时序扩展[J].计算机应用研究,2012,29(2):536-541,6.基金项目
国家自然科学基金资助项目(60970040) （60970040）
