Answering Temporal Conjunctive Queries over DL Ontologies

From International Center for Computational Logic

Answering Temporal Conjunctive Queries over DL Ontologies

Talk by Stefan Borgwardt
Temporal Conjunctive Queries (TCQs) have been proposed as a formalism to access data that is collected by sensors at regular intervals. They allow to combine conjunctive queries using the operators of propositional linear-temporal logic (LTL). Recently, the complexity of TCQ entailment has been established in the presence of additional background knowledge formalized by an EL or SHQ ontology. This talk presents the main techniques used to obtain the complexity upper bounds and discusses ongoing work on TCQs over other DLs.