Temporalizing Ontology-Based Data Access
- Speaker: Prof Franz Baader (TU Dresden)
- Host: Uli Sattler
- 13th March 2014 at 14:00 in Kilburn Room 2.19
Ontology-based data access (OBDA) generalizes query answering in databases towards deduction since (i) the fact base is not assumed to contain complete knowledge (i.e., there is no closed world assumption), and (ii) the interpretation of the predicates occurring in the queries is constrained by axioms of an ontology. OBDA has been investigated in detail for the case where the ontology is expressed by an appropriate Description Logic (DL) and the queries are conjunctive queries. Motivated by situation awareness applications, we investigate an extension of OBDA to the temporal case. Basically, the observations of the system yield a finite sequence of time-stamped fact bases and the situations to be recognized are described by a query that uses predicates whose properties are specified by a background ontology. We consider both the case of where the background ontology is defined using an expressive DL and where it is defined using an inexpressive DL of the DL-Lite family.