DeepAI
Log In Sign Up

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

04/18/2013
by   Alessandro Artale, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

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 ...
08/28/2013

Verification of Semantically-Enhanced Artifact Systems (Extended Version)

Artifact-Centric systems have emerged in the last years as a suitable fr...
03/20/2019

Ontology of Card Sleights

We present a machine-readable movement writing for sleight-of-hand moves...
05/30/2018

Amnestic Forgery: an Ontology of Conceptual Metaphors

This paper presents Amnestic Forgery, an ontology for metaphor semantics...
09/09/2018

Evidence-based lean logic profiles for conceptual data modelling languages

Multiple logic-based reconstruction of conceptual data modelling languag...
01/21/2020

Provenance for the Description Logic ELHr

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