Learn More
The potential to achieve dynamic, scalable and cost-effective marketplaces and eCommerce solutions has driven recent research efforts towards so-called Semantic Web Services, that are enriching Web services with machineprocessable semantics. To this end, the Web Service Modeling Ontology (WSMO) provides the conceptual underpinning and a formal language for(More)
Global mineralogical mapping of Mars by the Observatoire pour la Mineralogie, l'Eau, les Glaces et l'Activité (OMEGA) instrument on the European Space Agency's Mars Express spacecraft provides new information on Mars' geological and climatic history. Phyllosilicates formed by aqueous alteration very early in the planet's history (the "phyllocian" era) are(More)
The automatic location of services that fulfill a given need is seen as a key step towards dynamic and scalable integration. In this paper we present a model for the automatic location of services that considers the static and dynamic aspects of service descriptions and identifies what notions of match and techniques are useful for the matching of both. Our(More)
Current technologies for Web Services are based on syntactical descriptions and, therefore, lend themselves to only limited amount of automation. Research efforts in Semantic Web Services, such as WSMO, try to overcome this major deficiency by providing a complete semantic description for Web Services and their related aspects. In this paper we present a(More)
The recent identification of large deposits of sulphates by remote sensing and in situ observations has been considered evidence of the past presence of liquid water on Mars. Here we report the unambiguous detection of diverse phyllosilicates, a family of aqueous alteration products, on the basis of observations by the OMEGA imaging spectrometer on board(More)
In this paper, we define a translation of UML class diagrams with OCL constraints into first-order predicate logic. The goal is logical reasoning about UML models, realized by an interactive theorem prover. We put an emphasis on usability of the formulas resulting from the translation, and we have developed optimisations and heuristics to enhance the(More)
As reasoning with large amounts of data together with ontological knowledge is becoming an increasingly more pertinent issue, we will give in this chapter an overall introduction to some well-known ontology repositories, including native stores and database based stores, and highlight strengths and limitations of each store. We take Minerva as an example to(More)
The Web Service Modeling Ontology (WSMO) provides a conceptual framework for semantically describing Web services and their specific properties. In this chapter we discuss how WSMO can be applied for service discovery. We provide a proper conceptual grounding by strictly distinguishing between service and Web service discovery and then present different(More)
Discovery is a central reasoning task in service-oriented architectures, concerned with detecting Web services that are usable for solving a given request. This paper presents two extensions in continuation of previous works towards goal-based Web service discovery with sophisticated semantic matchmaking. At first, we distinguish goal templates as generic(More)
The Web Service Modeling Ontology (WSMO) provides the conceptual framework for semantically describing web services and their specific properties. The Web Service Modeling Language (WSML) is a formal language for annotating web services with semantic information, which is based on the WSMO conceptual framework. Service discovery, i.e., the automatic(More)