On the semantics of functional descriptions of Web services

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4011 LNCS, Issue , 2006, Pages 605-619

  Keller, Uwe ^a   Lausen, Holger ^a   Stollberg, Michael ^a  

^a UNIVERSITY OF INNSBRUCK   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER AIDED ANALYSIS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; FUNCTIONAL ASSESSMENT;

MATCHMAKING TECHNIQUE; OWL-S; UNAMBIGUOUS SEMANTIC; WSMO;

SEMANTICS;

EID: 33746068597     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11762256_44     Document Type: Conference Paper

References (18)

1. P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Cambridge University Press, 2001.
2. H. B. Enderton. A Mathematical Introduction to Logic. Academic Press, second edition edition, 2000.
3. G. F. and B. P. Introduction to Contextual Reasoning. An Artificial Intelligence Perspective. Technical report, ITC-IRST, Technical Report #9705-19, May 1997.
4. M. Fitting. First-Order Logic and Automated Theorem Proving. Springer-Verlag, second edition edition, 1996.
5. C. A. R, Hoare. An axiomatic basis for computer programming. Commun. ACM, 12(10):576-580, 1969.
6. C. B. Jones, Systematic Software Development using VDM. Prentice-Hall, Upper Saddle River, NJ 07458, USA, 1990.
7. U. Keller, R. Lara, H. Lausen, A. Polleres, and D. Fensel, Automatic Location of Services. In Proceedings of 2nd European Semantic Web Conference (ESWC), pages 1-16, 2005.
8. U. Keller and R. Lara (eds.). WSMO Web Service Discovery. Deliverable D5.1v0.1 Nov 12 2004, WSML Working Group, online: http://www.wsmo.org/TR/.
9. R. Lara, D. Roman, A. Polleres, and D. Fensel. A Conceptual Comparison of WSMO and OWL-S. In Proc. of the 2nd European Conference on Web Services, 2004.
10. H. Lausen. Functional Description of Web Services. Deliverable D28.1v0.1 Jan 13 2006, WSML Working Group, 2006. online: http://www.wsmo.org/TR/.
11. H. Lausen, A. Polleres, and D. Roman (eds.). Web Service Modeling Ontology (WSMO). W3C Member Submission 3 June 2005, 2005. online: http://www.w3.org/Submission/WSMO/.
12. L. Li and I. Horrocks. A Software Framework for Matchmaking Based on Semantic Web Technology. In WWW'03, Budapest, Hungary, May 2003.
13. D. Martin (ed.). OWL-S: Semantic Markup for Web Services. W3C Member Submission 22 November 2004, 2004. online: http://www.w3.org/Submission/OWL-S.
14. B. Meyer. Eiffel: the Language. Prentice Hall PTR, 1992.
15. M. Paolucci, T. Kawamura, T. Payne, and K. Sycara. Semantic Matching of Web Service Capabilities. In ISWC, pages 333-347. Springer Verlag, 2002.
16. J. Spivey. The Z Notation, A Reference Manual. Prentice-Hall International, second edition edition, 1992.
17. J. van Benthem. Handbook of logic in artificial intelligence and logic programming: epistemic and temporal reasoning, volume 4, chapter Temporal logic, pages 241-350. Oxford University Press, Oxford, UK, 1995.
18. A. M. Zaremski and J. M. Wing. Specification matching of software components. ACM Transactions on Software Engineering and Methodology, 6(4):333-369, 1997.