Query Containment Using a {DLR} {ABox}

I. HorrocksI. Horrocks, U. SattlerU. Sattler, S. TessarisS. Tessaris, S. TobiesS. Tobies

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

Download

I. Horrocks, U. Sattler, S. Tessaris, S. 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},
}