Query Containment Using a DLR ABox

Ian HorrocksIan Horrocks, Ulrike SattlerUlrike Sattler, Sergio TessarisSergio Tessaris, Stephan TobiesStephan Tobies

Datei:HorrocksSattler+-LTCS-99-15.ps.gz

Download

Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
Query Containment Using a DLR ABox
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-15, 1999. LTCS-Report

Details
Bibtex

KurzfassungAbstract
Query containment under constraints is the problem of determining whether the result of one query is contained in the result of another query for every database satisfying a given set of constraints. This problem is of particular importance in information integration and warehousing where, in addition to the constraints derived from the source schemas and the global schema, inter-schema constraints can be used to specify relationships between objects in different schemas. A theoretical framework for tackling this problem using the DLR logic has been established, and in this paper we show how the framework can be extended to a practical decision procedure. The proposed technique is to extend DLR with an Abox (a set of assertions about named individuals and tuples), and to transform query subsumption problems into DLR Abox satisfiability problems. We then show how such problems can be decided, via a reification transformation, using a highly optimised reasoner for the SHI description logic.
Bemerkung: Note: See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@techreport{ HorrocksSattler+-LTCS-99-15,
  address = {Germany},
  author = {I. {Horrocks} and U. {Sattler} and S. {Tessaris} and S. {Tobies}},
  institution = {LuFG Theoretical Computer Science, RWTH Aachen},
  note = {See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.},
  number = {LTCS-99-15},
  title = {Query Containment Using a {DLR} {ABox}},
  type = {LTCS-Report},
  year = {1999},
}