Advertisement

Description Logic Based Composition of Web Services

  • Fen Lin
  • Lirong Qiu
  • He Huang
  • Qing Yu
  • Zhongzhi Shi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4088)

Abstract

Automatic service composition may dramatically improve development efficiency of Web Service applications. This paper proposes an approach to automatically process semantic and dynamic service composition using Description Logics(DLs) and AI planning techniques. Services and service composition problems are formalized with DLs to provide well-defined semantics. Four relationships among services as well as two combined service expressions are defined, with which AI planning techniques can be used to reason about how to compose services to achieve user-defined goals. We present an algorithm for automatic service composition, which uses backward-chaining search of potential services, and automatically eliminates irrelevant services while selecting, thus guarantee the execution efficiency. We also make some performance optimization of the algorithm such as removing redundant services and reusing previously achieved goals. All the composition steps could be done dynamically and automatically. Finally, we present an example to show how the algorithm works.

Keywords

Semantic Web Services(SWS) Web Services Composition (WSC) Description Logic(DL) 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Booth, D., et al.: Web services architecture. Technical report, W3C Working Group Note (2004), See, http://www.w3.org/TR/ws-arch/
  2. 2.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  3. 3.
    Baader, F., Horrocks, I., Sattler, U.: Description logics as ontology languages for the semantic web. In: Festschrift in honor of Jorg Siekmann. LNCS (LNAI), Springer, Heidelberg (2005)Google Scholar
  4. 4.
    Horrocks, I., Patel-Schneider, van Harmelen, F.: From shiq and rdf to owl: The making of a web ontology language. Journal Web Semantics 1(1), 7–26 (2003)Google Scholar
  5. 5.
    Baader, F., Milicic, M., Lutz, C., Sattler, U., Wolter, F.: Integrating description logics and action formalisms for reasoning about web services. LTCS-Report LTCS-05-02, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, Germany (2005), See, http://lat.inf.tu-dresden.de/research/reports.html
  6. 6.
    Aiello, M., Papazoglou, M.P., Yang, J., Carman, M., Pistore, M., Serafini, L., Traverso, P.: A request language for web-services based on planning and constraint satisfaction. In: Proceedings of the Third International Workshop on Technologies for E-Services, pp. 76–85. Springer, London (2002)Google Scholar
  7. 7.
    McIlraith, S., Son, T.: Adapting golog for composition of semantic web services. In: Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), pp. 482–493 (2002)Google Scholar
  8. 8.
    Description Logics website, http://dl.kr.org
  9. 9.
    Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: 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 (2005)Google Scholar
  10. 10.
    Buhler, P.A., Vidal, J.M.: Toward the synthesis of web services and agent behaviors. In: Proceedings of the First International Workshop on Challenges in Open Agent Systems, pp. 25–29 (2002)Google Scholar
  11. 11.
    Shi, Z., Zhang, H., Dong, M.: Mage: Multi-agent environment. In: ICCNMC-2003, pp. 181–188 (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Fen Lin
    • 1
    • 2
  • Lirong Qiu
    • 1
    • 2
  • He Huang
    • 1
    • 2
  • Qing Yu
    • 2
  • Zhongzhi Shi
    • 1
  1. 1.Key Laboratory of Intelligent Information Processing, Institute of Computing TechnologyChinese Academy of SciencesChina
  2. 2.Graduate University of the Chinese Academy of Sciences 

Personalised recommendations