Agent-Based Semantic Composition of Web Services Using Distributed Description Logics

  • Mourad Ouziri
  • Damien Pellier
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6881)


An important research challenge consists in composing web services in an automatic and distributed manner on a large scale. Indeed, most queries can not be satisfiable by one service and must be processed by composing several services. Each web service is often written by different designers and is described using the terms of their own ontology. Therefore, the composition process needs to deal with a variety of heterogeneous ontologies. In order to tackle this challenge, we propose an approach using Distributed Description Logics (DDL) to achieve the semantic composition of web services. DDL allows one to make semantic connections between ontologies and thus web services, as well as to reason to get a semantic composition of web services.


Service Composition Description Logic Service Description Semantic Description Semantic Composition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  2. 2.
    Baader, F., Sattler, U.: An overview of tableau algorithms for desciption logics. Studia Logica 69(1), 5–40 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Benatallah, B., Dumas, M., Sheng, Q.: Facilitating the rapid development and scalable orchestration of composite web services. Journal of Distributed and Parallel Databases 17(1), 5–37 (2005)CrossRefGoogle Scholar
  4. 4.
    Benatallah, B., Hacid, M., Léger, A., Rey, C., Toumani, F.: On automating web services discovery. VLDB Journal 14(1), 84–96 (2005)CrossRefGoogle Scholar
  5. 5.
    Bener, A., Ozadalia, V., Ilhan, E.: Semantic matchmaker with precondition and effect matching using swrl. Expert Systems with Applications 36(5), 9371–9377 (2009)CrossRefGoogle Scholar
  6. 6.
    Berardi, D., Calvanese, D., Giacomo, G.D., Lenzerini, M., Mecella, M.: e-service composition by description logics based reasoning. In: Proceedings of the International Workshop on Description Logics, pp. 75–84 (2003)Google Scholar
  7. 7.
    Borgida, A., Patel-Schneide, P.: A semantics and complete algorithm for subsumption in the classic description logic. Journal of Artificial Intelligence Research 1(1), 277–308 (1994)zbMATHGoogle Scholar
  8. 8.
    Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. Jounal of Data Semantics 1, 153–184 (2003)zbMATHGoogle Scholar
  9. 9.
    Colucci, S., Sciascio, T.D., Domini, F., Mongiello, M.: Description logics approach to semantic matching of web services. Journal of Computing and Information Technology 11(3), 217–224 (2003)CrossRefGoogle Scholar
  10. 10.
    Ghidini, C., Serafini, L.: Distributed first order logics. In: Frontiers of Combining Systems 2. Studies in Logic and Computation, pp. 121–140 (1998)Google Scholar
  11. 11.
    Grimm, S., Motik, B., Preist, C.: Matching semantic service descriptions with local closed-world reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 575–589. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  12. 12.
    Levesque, H., Reiter, R., Lespérance, Y., Lin, F., Scherl, R.: GOLOG: a logic programming language for dynamic domains. Journal of Logic Programming 31(1-3), 59–84 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Lin, F., Qiu, L., Huang, H., Yu, Q., Shi, Z.: Description logic based composition of web services. In: Shi, Z.-Z., Sadananda, R. (eds.) PRIMA 2006. LNCS (LNAI), vol. 4088, pp. 199–210. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  14. 14.
    Nau, D., Cao, Y., Lotem, A., Muoz-Avila, H., Muoz-Avila, H.: Shop: Simple hierarchical ordered planner. In: IJCAI 1999, pp. 968–973 (1999)Google Scholar
  15. 15.
    Peer, J.: A pop-based replanning agent for automatic web service composition. In: Proceedings of the European Conference on Semantic Web, pp. 47–61 (2005)Google Scholar
  16. 16.
    Peltz, C.: Web services orchestration - a review of emerging technologies, tools, and standards. Tech. rep., Hewlett Packard (2003)Google Scholar
  17. 17.
    Serafini, L., Tamilin, A.: Local tableaux for reasoning in distributed description logics. In: Description Logics (2004)Google Scholar
  18. 18.
    Sycara, K., Paolucci, M., Ankolekar, A., Srinivasan, N.: Automated discovery, interaction and composition of semantic web services. Journal of Web Semantics: Science, Services and Agents on the World Wide Web 1(1), 27–46 (2003)CrossRefGoogle Scholar
  19. 19.
    Yolanda, G.: Description logics and planning. AI Magazine 26(2), 73–84 (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Mourad Ouziri
    • 1
  • Damien Pellier
    • 1
  1. 1.LIPADE, Université Paris DescartesParisFrance

Personalised recommendations