Abstract
Service description usually presumes a representation of the world model. The Description Logic (DL) is an efficient way for representing the world model, esp. on Semantic Web, because of its framework, decidable reasoning, and popularity. DL can bring structure to services, but only DL itself is inadequate for modelling dynamic aspect of Web services. In this paper, Dynamic Description Logic (DDL) is proposed to combine DLs with action formalisms. The interaction between actions and the DL-based world model is embodied in two aspects. On one hand, DL knowledge base provides knowledge and information for the reasoning on actions; on the other hand, the information stored in DL knowledge base is changed by the execution of actions. In DDL, two basic reasoning tasks are defined to check precondition and effects of actions. Based on the relationship between DDL and a transition system, a reasoning support for DDL is also given by translating actions into logic programs. By the combination of DLs and actions, DDL brings a better view of how services impact the world, facilitates interoperation between services, and enables the reuse of already available algorithms and engines for service reasoning. Thus, it can provide a logical way for embracing actions into Semantic Web.
Chapter PDF
Similar content being viewed by others
References
Baader, F., Lutz, C, Milicic, M., Sattler, U., and Wolter, F. (2005). A description logic based approach to reasoning about web services. In Proceedings of the WWW 2005 Workshop on Web Service Semantics (WSS2005), Chiba City, Japan.
Baader, Franz, Calvanese, Diego, McGuinness, Deborah, Nardi, Daniele, and Patel-Schneider, Perter F. (2002). The Description Logic Handbook: Theory, Implementation and Applciations. Cambridge University Press.
Baral, Chitta and Gelfond, Michael (1994). Logic programming and knowledge representation. Journal of Logic Programming, (19/20):73–148.
Berners-Lee, T., Hendler, L, and Lassila, O. (2001). The semantic web, Scientific American, 284(5):34–43.
Coalition, The OWL-S (2004). Owl-s 1.1 release. http://www.daml.org/services/owl-s/l. l/.
Gelfond, Michael and Lifschitz, Vladimir (1993). Representing action and change by logic programs. Journal of Logic Programming, 17(2,3,4):301–321.
Horrocks, Ian, Patel-Schneider, Peter F., Boley, Harold, Tabet, Said, Grosof, Benjamin, and Dean, Mike (2003). Swrl: A semantic web rule language combining owl and ruleml. (Version 0.5).
Huang, He, Shi, Zhongzhi, He, Xiaoxiao, and Qiu, Lirong (2005). An interval-based knowledge model and query language for temporal information. In Proceedings of Eighth Pacific Rim International Workshop on Multi-Agents (PRIMA’05), pages 401–415.
Levy, Alon Y. and Rousset, Marie-Christine (1996). CARIN: A representation language combining horn rules and description logics. In European Conference on Artificial Intelligence, pages 323–327.
Lifschitz, Vladimir and Turner, Hudson (1999). Representing transition systems by logic programs. In Logic Programming and Non-monotonic Reasoning (LPNMR’99), number 1730 in Lecture Notes in AI (LNAI), pages 92–106.
McIlraith, S., Son, T.C., and Zeng, H. (2001). Semantic web services. IEEE Intelligent Systems. Special Issue on the Semantic Web, 16(2):46–53.
Patel-Schneider, Peter F., Hayes, Patrick, and Horrocks, Ian (2004). Owl web ontology language semantics and abstract syntax. W3C Recommendation.
Ponnekanti, S.R. and Fox, A. (2002). Sword: A developer toolkit for web service composition. In Proceedings of the 11th World Wide Web Conference.
Reiter, R. (2001). Knowledge in Action, MIT Press.
Shi, Zhongzhi, Dong, Mingkai, Jiang, Yuncheng, and Zhang, Haijun (2005). A logic foundation for the semantic web. Science in China, Series F Information Sciences, 48(2):161–178.
Wolter, Frank and Zakharyaschev, Michael (2000). Dynamic description logics. In Segerberg, K., de Rijke, M., Wansing, H., and Zakharyaschev, M., editors, Advances in Modal Logic, volume 2. CSLI Publications.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 International Federation for Information Processing
About this paper
Cite this paper
Huang, H., Shi, Z., Wang, J., Huang, R. (2006). DDL: Embracing Actions into Semantic Web. In: Shi, Z., Shimohara, K., Feng, D. (eds) Intelligent Information Processing III. IIP 2006. IFIP International Federation for Information Processing, vol 228. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-44641-7_9
Download citation
DOI: https://doi.org/10.1007/978-0-387-44641-7_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-44639-4
Online ISBN: 978-0-387-44641-7
eBook Packages: Computer ScienceComputer Science (R0)