Temporal Description Logic for Ontology-Based Data Access (Extended Version)
Logic in Computer Science
2013-05-01 v2 Artificial Intelligence
Abstract
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.
Cite
@article{arxiv.1304.5185,
title = {Temporal Description Logic for Ontology-Based Data Access (Extended Version)},
author = {Alessandro Artale and Roman Kontchakov and Frank Wolter and Michael Zakharyaschev},
journal= {arXiv preprint arXiv:1304.5185},
year = {2013}
}
Comments
Full version of the IJCAI 2013 paper