caa a22 4500 445331798 CHVBK 20180317142739.0 cr unu---uuuuu 170323e20110101xx s 000 0 eng 10.1007/s10707-009-0093-4 doi (NATIONALLICENCE)springer-10.1007/s10707-009-0093-4 Functional description of geoprocessing services as conjunctive datalog queries [Elektronische Daten] [Daniel Fitzner, Jörg Hoffmann, Eva Klien] Discovery of suitable web services is a crucial task in Spatial Data Infrastructures (SDI). In this work, we develop a novel approach to the discovery of geoprocessing services (WPS). Discovery requests and Web Processing Services are annotated as conjunctive queries in a logic programming (LP) language and the discovery process is based on Logic Programming query containment checking between these descriptions. Besides the types of input and output, we explicitly formalise the relation between them and hence are able to capture the functionality of a WPS more precisely. The use of Logic Programming query containment allows for effective reasoning during discovery. Furthermore, the relative simplicity of the semantic descriptions is advantageous for their creation by non-logics experts. The developed approach is applicable in the Web Service Modeling Framework (WSMF), a state-of-the-art semantic web service framework. Springer Science+Business Media, LLC, 2009 Geoprocessing services nationallicence Service discovery nationallicence Semantic anotation nationallicence Logic programming nationallicence Conjunctive queries nationallicence Fitzner Daniel Fraunhofer Institut für Graphische Datenverarbeitung, Abteilung Graphische Informationssysteme, Fraunhoferstraße 5, 64283, Darmstadt, Germany aut Hoffmann Jörg SAP Research, Vincenz-Prießnitz-Straße 1, 76131, Karlsruhe, Germany aut Klien Eva Fraunhofer Institut für Graphische Datenverarbeitung, Abteilung Graphische Informationssysteme, Fraunhoferstraße 5, 64283, Darmstadt, Germany aut GeoInformatica Springer US; http://www.springer-ny.com 15/1(2011-01-01), 191-221 1384-6175 15:1<191 2011 15 10707 https://doi.org/10.1007/s10707-009-0093-4 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10707-009-0093-4 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Fitzner Daniel Fraunhofer Institut für Graphische Datenverarbeitung, Abteilung Graphische Informationssysteme, Fraunhoferstraße 5, 64283, Darmstadt, Germany aut NATIONALLICENCE 700 1- Hoffmann Jörg SAP Research, Vincenz-Prießnitz-Straße 1, 76131, Karlsruhe, Germany aut NATIONALLICENCE 700 1- Klien Eva Fraunhofer Institut für Graphische Datenverarbeitung, Abteilung Graphische Informationssysteme, Fraunhoferstraße 5, 64283, Darmstadt, Germany aut NATIONALLICENCE 773 0- GeoInformatica Springer US; http://www.springer-ny.com 15/1(2011-01-01), 191-221 1384-6175 15:1<191 2011 15 10707 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer