 |
    |
From Typed-Functional Semantic Web Services to Proofs
Harry Halpin
School of Informatics, University of Edinburgh, 2 Buccleuch Place, EH8 9LW Edinburgh, Scotland, UKH.Halpin@ed.ac.uk
Abstract. Web standards are currently seen as increasingly fragmented between colloquial XML, the Semantic Web, and Web Services. Semantic Web Services, while an immensely productive area of research, has yet to reach in-roads and a large user-base.We propose a minimalist, yet powerful, unifying framework built upon solid computational and philosophical foundations: Web Services are functions, ontologies are types, and therefore Semantic Web Services are typed functions.
LNCS 4273, p. 976 f.
lncs@springer.com
© Springer-Verlag Berlin Heidelberg 2006