Family of extended dynamic description logics

被引：3
|
作者：
Chang L. [1 ,2 ,3 ]
Shi Z.-Z. [1 ]
Chen L.-M. [1 ,3 ]
Niu W.-J. [1 ,3 ]
机构：
[1] Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Acad. of Sci.
[2] School of Computer and Control, Guilin University of Electronic Technology
[3] Graduate University, Chinese Acad. of Sci.
来源：
Ruan Jian Xue Bao/Journal of Software | 2010年 / 21卷 / 01期
关键词：
Dynamic description logic; Procedure of action execution; Reasoning about actions; Semantic Web service; Tableau decision algorithm;
D O I：
10.3724/SP.J.1001.2010.03494
中图分类号：
学科分类号：
摘要：
As the extension of the description logic, many dynamic description logics are proposed for modeling and reasoning about Semantic Web Services. These dynamic description logics provide decidable reasoning mechanisms for the result of action execution. However, the procedure of action execution can not be described and reasoned about according to these logics. Inspired by an extended propositional dynamic logic studied by Pratt, this paper proposes two improvements to the dynamic description logic. One is that, semantics of actions in the dynamic description logic are redefined in such a way that each action is interpreted as a set of trajectories, where each trajectory is a sequence of possible worlds of the semantic model. The other is that, assertions on the procedure of action execution are introduced to the logic so that not only the result but also the procedure can be described for the execution of actions. As a result, a family of extended dynamic description logics named EDDL(X) is presented in this paper, where X represents well-studied description logics ranging from ALC (attributive language with complements) to SHOIN(D). Taking the description logic ALCQO (attributive language with complements, qualified number restrictions and nominals) as an example of the X of EDDL(X), this paper proposes a tableau decision algorithm for the logic EDDL(ALCQO) and proves that this algorithm is terminating, sound and complete. With EDDL(X), both the result and the procedure of action execution can be described and reasoned about. Therefore, compared with dynamic description logics, EDDL(X) provides further support for modeling and reasoning about semantic Web services. © by Institute of Software, the Chinese Academy of Sciences. All rights reserved.
引用
收藏
页码：1 / 13
页数：12
相关论文
共 19 条
  • [1] Horrocks I., Patel-Schneider P.F., Harmelen F.V., From SHIQ and RDF to OWL: The making of a Web ontology language, Journal of Web Semantics, 1, 1, pp. 7-26, (2003)
  • [2] Bonatti P., Lutz C., Wolter F., Description logics with circumscription, Proc. of the 10th Int'l Conf. on Principles of Knowledge Representation and Reasoning, pp. 400-410, (2006)
  • [3] Ma Y., Hitzler P., Lin Z.Q., Algorithms for paraconsistent reasoning with OWL, Proc. of the 4th European Semantic Web Conf, pp. 399-413, (2007)
  • [4] Li Y.H., Xu B.W., Lu J.J., Kang D.Z., On computational complexity of the extended fuzzy description logic wirh numerical restriction, Journal of Software, 17, 5, pp. 968-975, (2006)
  • [5] Jiang Y.C., Shi Z.Z., Tang Y., Wang J., Fuzzy description logic for semantics representation of the semantic Web, Journal of Software, 18, 6, pp. 1257-1269, (2007)
  • [6] Kang D.Z., Xu B.W., Lu J.J., Li Y.H., Reasoning within extended fuzzy description logic supporting terminological axiom restrictions, Journal of Software, 18, 7, pp. 1563-1572, (2007)
  • [7] McIlraith S., Son T., Zeng H., Semantic Web services, IEEE Intelligent Systems, 16, 2, pp. 46-53, (2001)
  • [8] Shi Z.Z., Dong M.K., Jiang Y.C., Zhang H.J., A logical foundation for the semantic Web, Science in China (Series F: Information Sciences), 48, 2, pp. 161-178, (2005)
  • [9] Chang L., Shi Z.Z., Qiu L.R., Lin F., A tableau decision algorithm for dynamic description logic, Chinese Journal of Computers, 31, 6, pp. 896-909, (2008)
  • [10] Chang L., Lin F., Shi Z.Z., A dynamic description logic for representation and reasoning about actions, Proc. of the 2nd Int'l Conf. on Knowledge Science, Engineering and Management, pp. 115-127, (2007)
12