Temporal Description Logic for Ontology-Based Data Access
Artale, Alessandro (Free University of Bozen-Bolzano) | Kontchakov, Roman (Birkbeck, University of London) | Wolter, Frank (University of Liverpool) | Zakharyaschev, Michael (Birkbeck, University of London)
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.
Aug-3-2013
- Technology: