AI Chat AI Image Generator AI Video Text to Speech

Temporal Description Logic for Ontology-Based Data Access (Extended Version)

04/18/2013

∙

by Alessandro Artale, et al.

∙

∙

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.

Alessandro Artale
13 publications
Roman Kontchakov
6 publications
Frank Wolter
31 publications
Michael Zakharyaschev
17 publications

page 1

page 2

page 3

page 4

research

∙ 04/15/2020

First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic

We investigate ontology-based data access to temporal data. We consider ...

0 Alessandro Artale, et al. ∙

research

∙ 08/28/2013

Verification of Semantically-Enhanced Artifact Systems (Extended Version)

Artifact-Centric systems have emerged in the last years as a suitable fr...

0 Babak Bagheri Hariri, et al. ∙

research

∙ 03/20/2019

Ontology of Card Sleights

We present a machine-readable movement writing for sleight-of-hand moves...

0 Aaron Sterling, et al. ∙

research

∙ 09/09/2018

Evidence-based lean logic profiles for conceptual data modelling languages

Multiple logic-based reconstruction of conceptual data modelling languag...

0 Pablo Rubén Fillottrani, et al. ∙

research

∙ 05/30/2019

Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version)

We investigate the data complexity of answering queries mediated by metr...

0 Vladislav Ryzhikov, et al. ∙

research

∙ 07/21/2017

Cost-Driven Ontology-Based Data Access (Extended Version)

In ontology-based data access (OBDA), users are provided with a conceptu...

0 Davide Lanti, et al. ∙

research

∙ 01/21/2020

Provenance for the Description Logic ELHr

We address the problem of handling provenance information in ELHr ontolo...

0 Camille Bourgaux, et al. ∙