We design a temporal description logic, TQL, that extends the standard ontology language OWL2QL, provides basic means for temporal conceptual modelling and ensures first-order rewritability of conjunctive queries for suitably defined data instances with validity time

Artale, A.

Kontchakov, Roman

Wolter, F.

Zakharyaschev, Michael

CiteSeerX

Birkbeck Institutional Research Online

English

A.A.: Introducing time into RDF.

Boundedness of monadic FO over acyclic structures. In:

Complexity of reasoning over temporal data models. In:

Elements Of Finite Model Theory.

Fixpoints in temporal description logics. In:

LTL over description logic axioms.

Many-dimensional modal logics: theory and applications.

On the complexity of the instance checking problem in concept languages with existential quanti

Predicate boundedness of linear monadic datalog is in PSPACE.

Representing and querying validity time in RDF and OWL: A logicbased approach.

Rewriting ontological queries into small nonrecursive datalog programs. In:

T.: A general datalog-based framework for tractable query answering over ontologies.

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

Temporal description logics: A survey. In:

Temporal description logics. In: Handbook of Temporal Reasoning

Temporalizing ontology-based data access. In:

The complexity of datalog on linear orders.

The DL-Lite family and relations.

Towards a unifying approach to representing and querying temporal data in description logics. In:

Undecidable optimization problems for database logic programs. In:

V.S.: Scaling RDF with time. In:

Temporalising OWL 2 QL