Composition of Semantic Web Services in a Constructive Description Logic

  • Loris Bozzato
  • Mauro Ferrari
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6333)


We formalize the problem of service composition in the framework of a constructive description logic. We propose a declarative service specification language and a calculus for service composition.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)MATHGoogle Scholar
  2. 2.
    Bozzato, L., Ferrari, M.: A Note on Semantic Web Services Specification and Composition in Constructive Description Logics. CoRR, abs/1007.2364 [cs.AI] (2010)Google Scholar
  3. 3.
    Bozzato, L., Ferrari, M., Fiorentini, C., Fiorino, G.: A decidable constructive description logic. In: JELIA 2010. LNCS. Springer, Heidelberg (to appear, 2010)Google Scholar
  4. 4.
    Ferrari, M., Fiorentini, C., Fiorino, G.: BCDL: Basic Constructive Description Logic. Journal of Automated Reasoning 44(4), 371–399 (2010)MATHCrossRefGoogle Scholar
  5. 5.
    Martin, D., Burstein, M., McDermott, D., McIlraith, S., Paolucci, M., Sycara, K., McGuinness, D.L., Sirin, E., Srinivasan, N.: Bringing Semantics to Web Services with OWL-S. World Wide Web 10(3), 243–277 (2007)CrossRefGoogle Scholar
  6. 6.
    Miglioli, P., Moscato, U., Ornaghi, M.: Program specification and synthesis in constructive formal systems. In: LOPSTR 1991, pp. 13–26. Springer, Heidelberg (1991); Workshops in ComputingGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Loris Bozzato
    • 1
  • Mauro Ferrari
    • 1
  1. 1.Dipartimento di Informatica e ComunicazioneUniversità degli Studi dell’InsubriaVareseItaly

Personalised recommendations