Matching Semantic Service Descriptions with Local Closed-World Reasoning

  • Stephan Grimm
  • Boris Motik
  • Chris Preist
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4011)


Semantic Web Services were developed with the goal of automating the integration of business processes on the Web. The main idea is to express the functionality of the services explicitly, using semantic annotations. Such annotations can, for example, be used for service discovery—the task of locating a service capable of fulfilling a business request. In this paper, we present a framework for annotating Web Services using description logics (DLs), a family of knowledge representation formalisms widely used in the Semantic Web.We show how to realise service discovery by matching semantic service descriptions, applying DL inferencing. Building on our previous work, we identify problems that occur in the matchmaking process due to the open-world assumption when handling incomplete service descriptions. We propose to use autoepistemic extensions to DLs (ADLs) to overcome these problems. ADLs allow for non-monotonic reasoning and for querying DL knowledge bases under local closed-world assumption. We investigate the use of epistemic operators of ADLs in service descriptions, and show how they affect DL inferences in the context of semantic matchmaking.


Description Logic Service Discovery Domain Ontology Travel Agency Concrete Service 
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.


  1. 1.
    The OWL Service Coalition. OWL-S 1.1 release (November 2004), Available at:
  2. 2.
    Antoniou, G.: Nonmonotonic Reasoning. MIT Press, Cambridge (1997)MATHGoogle Scholar
  3. 3.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)MATHGoogle Scholar
  4. 4.
    de Bruijn, J., Lausen, H., Polleres, A., Fensel, D.: The Web Service Modeling Language WSML: An Overview. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 590–604. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  5. 5.
    Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W., Schaerf, A.: An Epistemic Operator for Description Logics. Artificial Intelligence 100(1-2), 225–274 (1998)CrossRefMathSciNetMATHGoogle Scholar
  6. 6.
    Donini, F.M., Nardi, D., Rosati, R.: Description Logics of Minimal Knowledge and Negation as Failure. ACM Transactions on Computational Logic 3(2), 177–225 (2002)CrossRefMathSciNetGoogle Scholar
  7. 7.
    Etzioni, O., Golden, K., Weld, D.: Tractable Closed World Reasoning with Updates. In: Proceedings of the 4th International Conference on Knowledege Representation and Reasoning (KR 1994), pp. 178–189. Morgan Kaufmann, San Francisco (1994)Google Scholar
  8. 8.
    Gonzàlez-Castillo, J., Trastour, D., Bartolini, C.: Description Logics for Matchmaking of Services. In: Proc. of the KI 2001 Workshop on Appl. of DL (2001)Google Scholar
  9. 9.
    Grimm, S., Motik, B.: Closed-World Reasoning in the Semantic Web through Epistemic Operators. In: CEUR Proceedings of the OWL Experiences and Directions Workshop, Galway, Ireland (2005)Google Scholar
  10. 10.
    Grimm, S., Motik, B., Preist, C.: Variance in e-Business Service Discovery. In: Proceedings of the 1st Int. Workshop SWS 2004 at ISWC 2004 (November 2004)Google Scholar
  11. 11.
    Haarslev, V., Möller, R.: Description of the RACER System and its Applications. In: International Workshop on Description Logics (2001)Google Scholar
  12. 12.
    Heflin, J., Munoz-Avila, H.: LCW-based Agent Planning for the Semantic Web. In: Proc.of AAAI Workshop on Ontologies and the Semantic Web (WS-02-11) (2002)Google Scholar
  13. 13.
    Horrocks, I.: Using an Expressive Description Logic: FaCT or Fiction? In: Proceedings of the 6th International Conference on Knowledege Representation and Reasoning (KR 1998), pp. 636–645. Morgan Kaufmann, San Francisco (1998)Google Scholar
  14. 14.
    Keller, U., Lara, R., Lausen, H., Polleres, A., Fensel, D.: Automatic Location of Services. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 1–16. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  15. 15.
    Kifer, M., Lara, R., Polleres, A., Zhao, C., Keller, U., Lausen, H., Fensel, D.: A Logical Framework for Web Service Discovery. In: Proceedings of the 1st International Workshop SWS 2004 at ISWC 2004 (November 2004)Google Scholar
  16. 16.
    Lausen, H., Roman, D., Keller, U.: Web service Modeling Ontology - Standard (WSMO-Standard). Working draft. Technical report, Digital Enterprise Research Institute (DERI) (March 2004),
  17. 17.
    Li, L., Horrocks, I.: A Software Framework For Matchmaking Based on Semantic Web Technology. In: Proceedings of the 12th World Wide Web Conference (2003)Google Scholar
  18. 18.
    Di Noia, T., Di Sciascio, E., Donini, F.M., Mogiello, M.: A System for Principled Matchmaking in an Electronic Marketplace. Journal of E-Commerce 9 (2004)Google Scholar
  19. 19.
    Paolucci, M., Kawamura, T., Payne, T., Sycara, K.: Semantic Matching of Web Services Capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 333–347. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  20. 20.
    Patel-Schneider, P.F., Hayes, P., Horrocks, I., van Harmelen, F.: OWL Web Ontology Language, Semantics and Abstract Syntax, W3C Candidate Recommendation (November 2002),
  21. 21.
    Preist, C.: A Conceptual Architecture for Semantic Web Services. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 395–409. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  22. 22.
    Preist, C., Esplugas-Cuadrado, J., Battle, S., Grimm, S., Williams, S.: Automated Business-to-Business Integration of a Logistics Supply Chain Using Semantic Web Services Technology. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 987–1001. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  23. 23.
    Rosati, R.: Autoepistemic Description Logics. AI Communications 11(3–4), 219–221 (1998)Google Scholar
  24. 24.
    Di Scasio, E., Dononi, F.M., Mongiello, M., Piscitelli, G.: A Knowledge Based System for Person-to-Person E-Commerce. In: Proc. of the KI 2001 Workshop on Applications of Description Logics (2001)Google Scholar
  25. 25.
    Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A Practical OWL-DL Reasoner. Technical report, University of Maryland Institute for Advanced Computer Studies (UMIACS) (2005),
  26. 26.
    Trastour, D., Bartolini, C., Preist, C.: Semantic Web Support for the Business-to-Business E-Commerce Lifecycle. In: Proceedings of the Eleventh International Conference on World Wide Web, pp. 89–98 (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Stephan Grimm
    • 1
  • Boris Motik
    • 1
  • Chris Preist
    • 2
  1. 1.FZI Research Center for Information Technologies at the University of KarlsruheKarlsruheGermany
  2. 2.HP LaboratoriesBristolUK

Personalised recommendations