Proceedings Abstracts of the Twenty-Third International Joint Conference on Artificial Intelligence

Temporal Description Logic for Ontology-Based Data Access / 711
Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev

Our aim is to investigate ontology-based data access over temporal data with validity time and ontologies capable of temporal conceptual modelling. To this end, we design a temporal description logic, TQL, that extends the standard ontology language OWL 2 QL, provides basic means for temporal conceptual modelling and ensures first-order rewritability of conjunctive queries for suitably defined data instances with validity time.