- Titel
- Reasoning with Temporal Properties over Axioms of DL-Lite
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-795546
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 14-06
- Erstveröffentlichung
- 2014
- DOI
- https://doi.org/10.25368/2022.208
- Abstract (EN)
- Recently, a lot of research has combined description logics (DLs) of the DL-Lite family with temporal formalisms. Such logics are proposed to be used for situation recognition and temporalized ontology-based data access. In this report, we consider DL-Lite-LTL, in which axioms formulated in a member of the DL-Lite family are combined using the operators of propositional linear-time temporal logic (LTL). We consider the satisfiability problem of this logic in the presence of so-called rigid symbols whose interpretation does not change over time. In contrast to more expressive temporalized DLs, the computational complexity of this problem is the same as for LTL, even w.r.t. rigid symbols.
- Freie Schlagwörter (DE)
- zeitlicher Formalismus, ALC-Konzept, Beschreibungslogik, Ontologie-basierten Datenzugriffssystem
- Freie Schlagwörter (EN)
- temporal formalism, ALC-concept, description logic, ontology-based data access system
- 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-795546
- Veröffentlichungsdatum Qucosa
- 20.06.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0