Sciweavers

443 search results - page 73 / 89
» Quasi-inverses of schema mappings
Sort
View
TACAS
1999
Springer
88views Algorithms» more  TACAS 1999»
13 years 11 months ago
A Theorem Prover-Based Analysis Tool for Object-Oriented Databases
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
David Spelt, Susan Even
ESWS
2006
Springer
13 years 11 months ago
Managing Information Quality in e-Science Using Semantic Web Technology
Abstract. We outline a framework for managing information quality (IQ) in eScience, using ontologies, semantic annotation of resources, and data bindings. Scientists define the qua...
Alun D. Preece, Binling Jin, Edoardo Pignotti, Pao...
WSC
2007
13 years 9 months ago
Automatic generation of simulation models for semiconductor manufacturing
This article gives an overview of a framework for automatically generating large-scale simulation models from a domain specific problem definition data schema, here semiconductor ...
Ralph Mueller, Christos Alexopoulos, Leon F. McGin...
BXML
2003
13 years 9 months ago
Semantic Caching in Ontology-based Mediator Systems
: The integration of heterogenous web sources is still a big challenge. One approach to deal with integration problems is the usage of domain knowledge in form of vocabularies or o...
Marcel Karnstedt, Kai-Uwe Sattler, Ingolf Geist, H...
IJCAI
2003
13 years 9 months ago
Querying Distributed Data through Distributed Ontologies: A Simple but Scalable Approach
In this paper, we define a simple but scalable framework for peer-to-peer data sharing systems, in which the problem of answering queries over a network of semantically related p...
François Goasdoué, Marie-Christine R...