- Titel
- Temporal Query Answering in DL-Lite with Negation
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795687
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 15-16
- Erstveröffentlichung
- 2015
- DOI
- https://doi.org/10.25368/2022.221
- Abstract (EN)
- Ontology-based query answering augments classical query answering in databases by adopting the open-world assumption and by including domain knowledge provided by an ontology. We investigate temporal query answering w.r.t. ontologies formulated in DL-Lite, a family of description logics that captures the conceptual features of relational databases and was tailored for efficient query answering. We consider a recently proposed temporal query language that combines conjunctive queries with the operators of propositional linear temporal logic (LTL). In particular, we consider negation in the ontology and query language, and study both data and combined complexity of query entailment.
- Freie Schlagwörter (DE)
- Beschreibungslogik, ontologiebasierte Abfragebeantwortung, temporale konjunktive Abfrage, kanonisches Modell
- Freie Schlagwörter (EN)
- description logic, ontology-based query answering, temporal conjunctive queries, canonical model
- 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-795687
- Veröffentlichungsdatum Qucosa
- 20.06.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0