- Titel
- Maybe Eventually? Towards Combining Temporal and Probabilistic Description Logics and Queries
- Untertitel
- Extended Version
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-796152
- Schriftenreihe
- LTCS-Report
- Bandnummer
- 19-03
- Erstveröffentlichung
- 2019
- DOI
- https://doi.org/10.25368/2022.252
- Abstract (EN)
- We present some initial results on ontology-based query answering with description logic ontologies that may employ temporal and probabilistic operators on concepts and axioms. Speci_cally, we consider description logics extended with operators from linear temporal logic (LTL), as well as subjective probability operators, and an extended query language in which conjunctive queries can be combined using these operators. We first show some complexity results for the setting in which either only temporal operators or only probabilistic operators may be used, both in the ontology and in the query, and then show a 2ExpSpace lower bound for the setting in which both types of operators can be used together.
- This is an extended version of an article accepted at Description Logics 2019.
- Freie Schlagwörter (DE)
- Beschreibungslogik, Ontologie-basierte Abfragebeantwortung, lineare temporale Logik, subjektive Wahrscheinlichkeitsoperatoren
- Freie Schlagwörter (EN)
- description logic, ontology-based query answering, linear temporal logic, subjective probability operators
- 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-796152
- Veröffentlichungsdatum Qucosa
- 20.06.2022
- Dokumenttyp
- Bericht
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
CC BY 4.0