Skip to main content
SpringerLink
Log in

Composition of Semantic Web Services in a Constructive Description Logic

  • Conference paper
Web Reasoning and Rule Systems (RR 2010)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 6333))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)

    MATH  Google Scholar 

  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. 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. Ferrari, M., Fiorentini, C., Fiorino, G.: BCDL: Basic Constructive Description Logic. Journal of Automated Reasoning 44(4), 371–399 (2010)

    Article  MATH  Google Scholar 

  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)

    Article  Google Scholar 

  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 Computing

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica e Comunicazione, Università degli Studi dell’Insubria, Via Mazzini 5, 21100, Varese, Italy

    Loris Bozzato & Mauro Ferrari

Authors
  1. Loris Bozzato
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mauro Ferrari
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept. of Computer Science and Engineering, Wright State University, 3640 Colonel Glenn Hwy, 45435, Dayton, OH, USA

    Pascal Hitzler

  2. Computing Laboratory, Oxford University, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK

    Thomas Lukasiewicz

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bozzato, L., Ferrari, M. (2010). Composition of Semantic Web Services in a Constructive Description Logic. In: Hitzler, P., Lukasiewicz, T. (eds) Web Reasoning and Rule Systems. RR 2010. Lecture Notes in Computer Science, vol 6333. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15918-3_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15918-3_19

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15917-6

  • Online ISBN: 978-3-642-15918-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation