Foundations of logic programming
Foundations of logic programming
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Getting to Know Arcgis Desktop: The Basics of ArcView, Arceditor, and Arcinfo
Getting to Know Arcgis Desktop: The Basics of ArcView, Arceditor, and Arcinfo
Open Source GIS: A Grass GIS Approach
Open Source GIS: A Grass GIS Approach
Information Integration Using Logical Views
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Semantics-based automatic composition of geospatial Web service chains
Computers & Geosciences
SAWSDL: Semantic Annotations for WSDL and XML Schema
IEEE Internet Computing
Applied Ontology
A rule-based description framework for the composition of geographic information services
GeoS'07 Proceedings of the 2nd international conference on GeoSpatial semantics
A client for distributed geo-processing on the web
W2GIS'07 Proceedings of the 7th international conference on Web and wireless geographical information systems
The web service modeling language WSML: an overview
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Bringing semantics to web services: the OWL-S approach
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
| Hi-index | 0.00 |
Geoprocessing operations offered via web services provide the means for building complex web-based geospatial applications. Often, certain postconditions such as the spatial reference system, bounding box, schema or quality that hold on the output dataset after the execution of a geoprocessing service are determined and derived from the properties of the inputs passed to the service. Further, geoprocesses often hold preconditions that relate to more than one input, such as the requirement that all inputs must have the same schema. Within current process descriptions for geoprocessing operations, such conditions which we call cross-parameter conditions, can not be explicitly specified. In this paper, the author gives an approach to formalize such cross input-output and cross input parameter conditions in a rule-based language. Further, the author proposes an algorithm for deriving pre-and postconditions for a service composition or workflow out of the pre-and postconditions of the services involved, allowing a more automated handling of workflows in general.