no code implementations • 4 May 2016 • Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii, Michael Zakharyaschev
We give solutions to two fundamental computational problems in ontology-based data access with the W3C standard ontology language OWL 2 QL: the succinctness problem for first-order rewritings of ontology-mediated queries (OMQs), and the complexity problem for OMQ answering.
no code implementations • 15 Jan 2014 • Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
The recently introduced series of description logics under the common moniker DL-Lite has attracted attention of the description logic and semantic web communities due to the low computational complexity of inference, on the one hand, and the ability to represent conceptual modeling formalisms, on the other.
no code implementations • 18 Apr 2013 • 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.
no code implementations • 25 Sep 2012 • Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
We design temporal description logics suitable for reasoning about temporal conceptual data models and investigate their computational complexity.