Ontology-mediated query answering over temporal data: A survey
We discuss the use of various temporal knowledge representation formalisms for ontology-
mediated query answering over temporal data. In particular, we analyse ontology and query …
mediated query answering over temporal data. In particular, we analyse ontology and query …
Ontology-based data access with a horn fragment of metric temporal logic
We advocate datalogMTL, a datalog extension of a Horn fragment of the metric temporal
logic MTL, as a language for ontology-based access to temporal log data. We show that …
logic MTL, as a language for ontology-based access to temporal log data. We show that …
Querying log data with metric temporal logic
We propose a novel framework for ontology-based access to temporal log data using a
datalog extension datalogMTL of the Horn fragment of the metric temporal logic MTL. We …
datalog extension datalogMTL of the Horn fragment of the metric temporal logic MTL. We …
A cookbook for temporal conceptual data modelling with description logics
We design temporal description logics (TDLs) suitable for reasoning about temporal
conceptual data models and investigate their computational complexity. Our formalisms are …
conceptual data models and investigate their computational complexity. Our formalisms are …
Temporalizing rewritable query languages over knowledge bases
Ontology-based data access (OBDA) generalizes query answering in relational databases. It
allows to query a database by using the language of an ontology, abstracting from the actual …
allows to query a database by using the language of an ontology, abstracting from the actual …
First-order rewritability of temporal ontology-mediated queries
Aiming at ontology-based data access over temporal, in particular streaming data, we
design a language of ontology-mediated queries by extending OWL 2 QL and SPARQL with …
design a language of ontology-mediated queries by extending OWL 2 QL and SPARQL with …
Temporal query entailment in the description logic SHQ
Ontology-based data access (OBDA) generalizes query answering in databases towards
deductive entailment since (i) the fact base is not assumed to contain complete knowledge …
deductive entailment since (i) the fact base is not assumed to contain complete knowledge …
First-order rewritability of ontology-mediated queries in linear temporal logic
We investigate ontology-based data access to temporal data. We consider temporal
ontologies given in linear temporal logic LTL interpreted over discrete time (Z,<). Queries are …
ontologies given in linear temporal logic LTL interpreted over discrete time (Z,<). Queries are …
First-order rewritability and complexity of two-dimensional temporal ontology-mediated queries
Aiming at ontology-based data access to temporal data, we design two-dimensional
temporal ontology and query languages by combining logics from the (extended) DL-Lite …
temporal ontology and query languages by combining logics from the (extended) DL-Lite …
[PDF][PDF] Temporal query answering in the description logic EL
Context-aware systems use data collected at runtime to recognize certain predefined
situations and trigger adaptations. This can be implemented using ontology-based data …
situations and trigger adaptations. This can be implemented using ontology-based data …