The TSIMMIS Approach to Mediation: Data Models and Languages
Journal of Intelligent Information Systems - Special issue: next generation information technologies and systems
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Generic Schema Matching with Cupid
Proceedings of the 27th International Conference on Very Large Data Bases
Answering queries using views: A survey
The VLDB Journal — The International Journal on Very Large Data Bases
A survey of approaches to automatic schema matching
The VLDB Journal — The International Journal on Very Large Data Bases
Similarity Flooding: A Versatile Graph Matching Algorithm and Its Application to Schema Matching
ICDE '02 Proceedings of the 18th International Conference on Data Engineering
An introduction to description logics
The description logic handbook
The description logic handbook
The description logic handbook
Data integration under integrity constraints
Information Systems - Special issue: The 14th international conference on advanced information systems engineering (CAiSE*02)
Schema Matching Using Duplicates
ICDE '05 Proceedings of the 21st International Conference on Data Engineering
The INFOMIX system for advanced integration of incomplete and inconsistent data
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
An ontology based approach to the integration of entity-relationship schemas
Data & Knowledge Engineering - Special issue: ER 2004
Ontology Matching
Database application evolution: a transformational approach
Data & Knowledge Engineering - Special issue: ER 2003
Combining schema and instance information for integrating heterogeneous data sources
Data & Knowledge Engineering
Model management 2.0: manipulating richer mappings
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Instance-based schema matching for web databases by domain-specific query probing
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Validation of mappings between schemas
Data & Knowledge Engineering
Model-independent schema translation
The VLDB Journal — The International Journal on Very Large Data Bases
Schema exchange: Generic mappings for transforming data and metadata
Data & Knowledge Engineering
Reusing ontologies on the Semantic Web: A feasibility study
Data & Knowledge Engineering
Constraint acquisition for Entity-Relationship models
Data & Knowledge Engineering
Frameworks for entity matching: A comparison
Data & Knowledge Engineering
The DL-lite family and relations
Journal of Artificial Intelligence Research
Reusing ontologies and language components for ontology generation
Data & Knowledge Engineering
IBIS: semantic data integration at work
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
The role of constraints in linked data
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part II
Dealing with inconsistencies in linked data mashups
Proceedings of the 16th International Database Engineering & Applications Sysmposium
Hi-index | 0.00 |
In this article, we address the problem of changing the constraints of a mediated schema to accommodate the set of constraints of a new export schema. The relevance of this problem lies in that the constraints of a mediated schema capture the common semantics of the data sources and, as such, they must be maintained and made available to the users of the mediation environment. We first argue that such problem can be solved by computing the greatest lower bound of two theories induced by sets of constraints, defined as the intersection of the theories. Then, for an expressive family of conceptual schemas, we show how to efficiently decide logical implication and how to compute the greatest lower bound of two theories induced by sets of constraints. The family of conceptual schemas we work with partly corresponds to OWL Lite and supports the equivalent of named classes, datatype and object properties, minCardinalities and maxCardinalities, InverseFunctionalProperties, subset constraints, and disjointness constraints. Such schemas are also sufficiently expressive to encode commonly used UML constructs, such as classes, attributes, binary associations without association classes, cardinality of binary associations, multiplicity of attributes, and ISA hierarchies with disjointness, but not with complete generalizations.