We investigate the data complexity of answering queries mediated by metric temporal logic ontologies under the event-based semantics assuming that data instances are finite timed words timestamped with binary fractions. We identify classes of ontology-mediated queries answering which can be done in AC0, NC1, L, NL, P, and coNP for data complexity, provide their rewritings to first-order logic and its extensions with primitive recursion, transitive closure or datalog, and establish lower complexity bounds
We give solutions to two fundamental computational problems in ontology-based data access with the W...
We give solutions to two fundamental computational problems in ontology-based data access with the W...
International audienceWe give solutions to two fundamental computational problems in ontology-based ...
We investigate the data complexity of answering queries mediated by metric temporal logic ontologies...
We investigate the data complexity of answering queries mediated by metric temporal logic ontologies...
We discuss the use of various temporal knowledge representation formalisms for ontology-mediated que...
We discuss recent attempts to extend the ontology-based data access (aka virtual knowledge graph) pa...
Ontology-based data access (OBDA) generalizes query answering in databases towards deduction since (...
Ontology-based data access (OBDA) generalizes query answering in databases towards deduction since (...
We study the complexity and expressive power of DatalogMTL - a knowledge representation language tha...
We study the complexity and expressive power of DatalogMTL - a knowledge representation language tha...
Ontology-based data access (OBDA) augments classical query answering in databases by including domai...
Ontology-based data access (OBDA) augments classical query answering in databases by including domai...
We investigate ontology-based data access to temporal data. We consider temporal ontologies given in...
We study the data complexity of reasoning for several fragments of MTL - an extension of Datalog wit...
We give solutions to two fundamental computational problems in ontology-based data access with the W...
We give solutions to two fundamental computational problems in ontology-based data access with the W...
International audienceWe give solutions to two fundamental computational problems in ontology-based ...
We investigate the data complexity of answering queries mediated by metric temporal logic ontologies...
We investigate the data complexity of answering queries mediated by metric temporal logic ontologies...
We discuss the use of various temporal knowledge representation formalisms for ontology-mediated que...
We discuss recent attempts to extend the ontology-based data access (aka virtual knowledge graph) pa...
Ontology-based data access (OBDA) generalizes query answering in databases towards deduction since (...
Ontology-based data access (OBDA) generalizes query answering in databases towards deduction since (...
We study the complexity and expressive power of DatalogMTL - a knowledge representation language tha...
We study the complexity and expressive power of DatalogMTL - a knowledge representation language tha...
Ontology-based data access (OBDA) augments classical query answering in databases by including domai...
Ontology-based data access (OBDA) augments classical query answering in databases by including domai...
We investigate ontology-based data access to temporal data. We consider temporal ontologies given in...
We study the data complexity of reasoning for several fragments of MTL - an extension of Datalog wit...
We give solutions to two fundamental computational problems in ontology-based data access with the W...
We give solutions to two fundamental computational problems in ontology-based data access with the W...
International audienceWe give solutions to two fundamental computational problems in ontology-based ...