A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Conjunctive query containment revisited
Theoretical Computer Science - Special issue on the 6th International Conference on Database Theory—ICDT '97
An axiomatic basis for computer programming
Communications of the ACM
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Toward the semantic geospatial web
Proceedings of the 10th ACM international symposium on Advances in geographic information systems
Larks: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace
Autonomous Agents and Multi-Agent Systems
Information Integration Using Logical Views
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Signature and specification matching
Signature and specification matching
WSMX - A Semantic Service-Oriented Architecture
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Enabling Semantic Web Services: The Web Service Modeling Ontology
Enabling Semantic Web Services: The Web Service Modeling Ontology
Deciding semantic matching of stateless services
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
The database approach to knowledge representation
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
On the semantics of functional descriptions of web services
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Geospatial semantics: why, of what, and how?
Journal on Data Semantics III
Ontology-Based Integration of Sensor Web Services in Disaster Management
GeoS '09 Proceedings of the 3rd International Conference on GeoSpatial Semantics
Computers & Geosciences
Formalizing Cross-Parameter Conditions for Geoprocessing Service Chain Validation
International Journal of Applied Geospatial Research
Environmental service discovery based on semantically annotated OGC service descriptions
Proceedings of the 28th Annual ACM Symposium on Applied Computing
| Hi-index | 0.00 |
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.