Temporal Conjunctive Query Answering in the Extended DL-Lite Family

03/20/2020
by   Stefan Borgwardt, et al.
0

Ontology-based query answering (OBQA) augments classical query answering in databases by domain knowledge encoded in an ontology. Systems for OBQA use the ontological knowledge to infer new information that is not explicitly given in the data. Moreover, they usually employ the open-world assumption, which means that knowledge that is not stated explicitly in the data and that is not inferred is not assumed to be true or false. Classical OBQA however considers only a snapshot of the data, which means that information about the temporal evolution of the data is not used for reasoning and hence lost. We investigate temporal conjunctive queries (TCQs) that allow to access temporal data through classical ontologies. In particular, we study combined and data complexity of TCQ entailment for ontologies written in description logics from the extended DL-Lite family. Many of these logics allow for efficient reasoning in the atemporal setting and are successfully applied in practice. We show comprehensive complexity results for temporal reasoning with these logics.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/06/2018

Query Answering for Rough EL Ontologies (Extended Technical Report)

Querying large datasets with incomplete and vague data is still a challe...
research
04/24/2020

CQE in Description Logics Through Instance Indistinguishability (extended version)

We study privacy-preserving query answering in Description Logics (DLs)....
research
08/06/2018

Metric Temporal Extensions of DL-Lite and Interval-Rigid Names

The DL-Lite description logics allow for modeling domain knowledge on to...
research
02/04/2014

Reasoning about Explanations for Negative Query Answers in DL-Lite

In order to meet usability requirements, most logic-based applications p...
research
03/30/2019

Ontology Focusing: Knowledge-enriched Databases on Demand

We propose a novel framework to facilitate the on-demand design of data-...
research
08/11/2015

Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies

Fuzzy Description Logics (DLs) provide a means for representing vague kn...
research
09/02/2020

Answering Counting Queries over DL-Lite Ontologies

Ontology-mediated query answering (OMQA) is a promising approach to data...

Please sign up or login with your details

Forgot password? Click here to reset