The convergence of Semantic Web with service-oriented computing is manifested by Semantic Web service (SWS) technology. It addresses the major challenge of automated, interoperable and meaningful coordination of Web services to be carried out by intelligent software agents. In this chapter, we briefly discuss prominent SWS description frameworks, that are the standard SAWSDL, OWL-S and WSML1. This is complemented by a critique, and selected references to further readings on the subject.


Logic Programming Description Logic Service Description Semantic Annotation Concrete Service 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    A. Bernstein, C. Kiefer: Imprecise RDQL: Towards Generic Retrieval in Ontologies Using Similarity Joins. Proc. ACM Symposium on Applied Computing, Dijon, France, ACM Press, 2006.Google Scholar
  2. [2]
    D. Calvanese, G. De Giacomo, I. Horrocks, C. Lutz, B. Motik, B. Parsia, P. Patel-Schneider: OWL 1.1 Web Ontology Language Tractable Fragments. W3C Member Submission, 19 December 2006. http://www.w3.org/Submission/2006/SUBM-owl11-tractable-20061219/. Updated version at http://www.webont.org/owl/1.1/tractable.html (6 April 2007).
  3. [3]
    J. Cardoso, A. Sheth (Eds.): Semantic Web Services: Processes and Applications. Springer book series on Semantic Web &Beyond: Computing for human Experience, 2006.Google Scholar
  4. [4]
    D. Connolly, F. van Harmelen, I. Horrocks, D. McGuinness, P. Patel-Schneider, L. Stein: DAML+OIL reference description. W3C Note, 18 December 2001. Available at http://www.w3.org/TR/2001/NOTE-daml+oil-reference-20011218.
  5. [5]
    D. Fensel, H. Lausen, A. Polleres, J. de Bruijn, M. Stollberg, D. Roman, J. Domingue: Enabling Semantic Web Services — The Web Service Modeling Ontology. Springer, 2006.Google Scholar
  6. [6]
    D. Fensel, F. van Harmelen: Unifying reasoning and search to Web scale. IEEE Internet Computing, March/April 2007.Google Scholar
  7. [7]
    B. Glimm, I. Horrocks, C. Lutz, U. Sattler: Conjunctive Query Answering for the Description Logic SHIQ. Proceedings of International Joint Conference on AI (IJCAI), 2007.Google Scholar
  8. [8]
    S. Gimm: Discovery — Identifying relevant services. In S. Grimm, A. Abecker (eds.): Semantic Web Services. Concepts, Technologies, and Applications. Springer In [25] 2007.Google Scholar
  9. [9]
    B. Grosof, I. Horrocks, R. Volz, S. Decker: Description Logic Programs: Combining Logic Programs with Description Logic. Proceedings of the 12th International World Wide Web Conference (WWW), 2003.Google Scholar
  10. [10]
    B. He, M. Patel, Z. Zhang, K. Chang: Accessing the Deep Web. Communications of the ACM, 50(5), 2007.Google Scholar
  11. [11]
    I. Horrocks, P. Patel-Schneider: Reducing OWL entailment to description logic satisfiability. Proceedings of International Semantic Web Conference (ISWC), 2003, Springer, LNCS, 2870, 2003.Google Scholar
  12. [12]
    I. Horrocks, P. Patel-Schneider: A proposal for an OWL rules language. Proceedings of 13th International World Wide Web Conference (WWW), 2004.Google Scholar
  13. [13]
    I. Horrocks, P. Patel-Schneider, F. van Harmelen: From SHIQ and RDF to OWL: The Making of a Web Ontology Language. Web Semantics, 1, Elsevier, 2004.Google Scholar
  14. [14]
    I. Horrocks, U. Sattler, S. Tobies: Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL, 8(3):239263, 2000.MathSciNetGoogle Scholar
  15. [15]
    F. Kaufer and M. Klusch: Hybrid Semantic Web Service Matching with WSMO-MX. Proc. 4th IEEE European Conference on Web Services (ECOWS), Zurich, Switzerland, IEEE CS Press, 2006.Google Scholar
  16. [16]
    U. Keller, R. Lara, H. Lausen, A. Polleres, D. Fensel: Automatic Location of Services. Proceedings of the 2nd European Semantic Web Conference (ESWC), Heraklion, Crete, LNCS 3532, Springer, 2005.Google Scholar
  17. [17]
    M. Klush, B. Fries, K. Sycara: Automated Semantic Web Service Discovery with OWLS-MX. Proc. 5th Intl. Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), Hakodate, Japan, ACM Press, 2006.Google Scholar
  18. [18]
    M. Klusch, Z. Xing: Semantic Web Service in the Web: A Preliminary Reality Check. Proc. First Intl. Joint ISWC Workshop SMR2 2007 on Service Matchmaking and Resource Retrieval in the Semantic Web, Busan, Korea, 2007.Google Scholar
  19. [19]
    S. Narayanan, S. McIllraith: Simulation, verification and automated composition of Web Services. Proc. of 11th International Conference on the World Wide Web (WWW), Hawaii, 2002.Google Scholar
  20. [20]
    S. McIllraith, T.C. Son: Adapting Golog for composition of Semantic Web Services. Proc. International Conference on Knowledge Representation and Reasoning KRR, Toulouse, France, 2002.Google Scholar
  21. [21]
    J. Pan, I. Horrocks: RDFS(FA): Connecting RDF(S) and OWL DL. IEEE Transactions on Knowledge and Data Engineering, 19(2):192–206, 2007.CrossRefGoogle Scholar
  22. [22]
    C. Preist: Semantic Web Services — Goals and Vision S. Grimm, A. Abecker (eds.) Semantic Web Services. Concepts, Technologies, and Applications. Springer Chapter 5 in [25], 2007.Google Scholar
  23. [23]
    T. C. Przymusinski: On the declarative and procedural semantics of logic programs. Automated Reasoning, 5(2):167–205, 1989.MATHMathSciNetGoogle Scholar
  24. [24]
    M. Stollberg, U. Keller, H. Lausen, S. Heymans: Two-phase Web Service discovery based on rich functional descriptions. Proceedings of European Semantic Web Conference, Buda, Montenegro, LNCS, Springer, 2007.Google Scholar
  25. [25]
    R. Studer, S. Grimm, A. Abecker (eds.): Semantic Web Services. Concepts, Technologies, and Applications. Springer, 2007.Google Scholar
  26. [26]
    S. Tobies: The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics. Artificial Intelligence Research (JAIR), 12, 2000.Google Scholar
  27. [27]
    A. van Gelder, K. Ross, J. S. Schlipf: The well-founded semantics for general logic programs. ACM, 38(3):620–650, 1991.MATHGoogle Scholar
  28. [28]
    G. Yang and M. Kier: Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases. Proceedings of 1st International Conference on Ontologies, Databases and Applications of Semantics (ODBASE), Irvine, California, 2002.Google Scholar
  29. [29]
    M. Kifer, G. Lausen, J. Wu: Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of the ACM, 42(4), 1995.Google Scholar

Copyright information

© Birkhäuser Verlag 2008

Authors and Affiliations

  • Matthias Klusch

There are no affiliations available

Personalised recommendations