Temporal Minimal-World Query Answering over Sparse ABoxes
Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Beitragende
Abstract
Ontology-mediated query answering is a popular paradigm for enriching answers to user queries with background knowledge. For querying the absence of information, however, there exist only few ontology-based approaches. Moreover, these proposals conflate the closed-domain and closed-world assumption and, therefore, are not suited to deal with the anonymous objects that are common in ontological reasoning. Many real-world applications, like processing electronic health records, also contain a temporal dimension and require efficient reasoning algorithms. Moreover, since medical data are not recorded on a regular basis, reasoners must deal with sparse data with potentially large temporal gaps. Our contribution consists of two main parts: In the first part, we introduce a new closed-world semantics for answering conjunctive queries (CQs) with negation over ontologies formulated in the description logic, which is based on the minimal canonical model. We propose a rewriting strategy for dealing with negated query atoms, which shows that query answering is possible in polynomial time in data complexity. In the second part, we extend this minimal-world semantics for answering metric temporal CQs with negation over the lightweight temporal logic and obtain similar rewritability and complexity results.
Details
Originalsprache | Englisch |
---|---|
Seiten (von - bis) | 193-228 |
Seitenumfang | 36 |
Fachzeitschrift | Theory and practice of logic programming |
Jahrgang | 22 |
Ausgabenummer | 2 |
Publikationsstatus | Veröffentlicht - 11 Aug. 2021 |
Peer-Review-Status | Ja |
Externe IDs
Scopus | 85113184380 |
---|---|
unpaywall | 10.1017/s1471068421000119 |
Mendeley | 5b81efe9-64d0-38ea-8cc5-eeaab563be3c |
dblp | journals/tplp/BorgwardtFK22 |
Schlagworte
Forschungsprofillinien der TU Dresden
DFG-Fachsystematik nach Fachkollegium
Fächergruppen, Lehr- und Forschungsbereiche, Fachgebiete nach Destatis
ASJC Scopus Sachgebiete
Schlagwörter
- knowledge representation and nonmonotonic reasoning