• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Executable Axiomatic Specification Using Functional Language -- Case Study: Ontology for a Spatio-Temporal Database (1997)

by Andre U. Frank, Damir Medak
Add To MetaCart

Tools

Sorted by:
Results 1 - 1 of 1

Comparing Approaches for Semantic Service Description and Matchmaking

by Sven Schade, Arnd Sahlmann, Michael Lutz, Florian Probst, Werner Kuhn - In Proceedings of the 3rd International Conference on Web service descriptions, Databases, and Applications of Semantics for Large Scale Information Systems (ODBASE 2004 , 2004
"... Abstract. Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precision of approaches that consider only syntactical aspects of matchmaking (e.g. UDDI) several approaches for sem ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
Abstract. Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precision of approaches that consider only syntactical aspects of matchmaking (e.g. UDDI) several approaches for semantic matchmaking have been proposed. We compare two approaches with respect to their potentials for matchmaking between semantic descriptions of geoinformation services. The State-based Approach uses the Web Ontology Language and the Rule Markup Language to describe inputs, outputs, preconditions and effects. In the Algebraic Approach, abstract data types are specified to capture domain knowledge. The specific data types used in a service model referred to these shared concepts. In order to make the specifications executable and to enable matchmaking a functional programming language (Haskell) is used in this approach. For a scenario from the domain of disaster management, both approaches are tested for one specific type of match. 1
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University