- Titel
- Temporal Query Answering w.r.t. DL-Lite-Ontologies
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795379
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 13-05
- Erstveröffentlichung
- 2013
- DOI
- https://doi.org/10.25368/2022.195
- Abstract (EN)
- Ontology-based data access (OBDA) generalizes query answering in relational databases. It allows to query a database by using the language of an ontology, abstracting from the actual relations of the database. For ontologies formulated in Description Logics of the DL-Lite family, OBDA can be realized by rewriting the query into a classical first-order query, e.g. an SQL query, by compiling the information of the ontology into the query. The query is then answered using classical database techniques. In this report, we consider a temporal version of OBDA. We propose a temporal query language that combines a linear temporal logic with queries over DL-Litecore-ontologies. This language is well-suited for expressing temporal properties of dynamical systems and is useful in context-aware applications that need to detect specific situations. Using a first-order rewriting approach, we transform our temporal queries into queries over a temporal database. We then present three approaches to answering the resulting queries, all having different advantages and drawbacks.
- This revised version proves that the presented algorithm achieves a bounded history encoding.
- Freie Schlagwörter (DE)
- Ontologie-basiertes Datenzugriffssystem, DL-Litecore, Beschreibungslogik, Logik erster Ordnung
- Freie Schlagwörter (EN)
- ontology-based data access, DL-Litecore, description logic, first-order logic
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 136
- Publizierende Institution
- Technische Universität Dresden, Dresden
- Version / Begutachtungsstatus
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-795379
- Veröffentlichungsdatum Qucosa
- 20.06.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0