Temporal description logic for ontology-based data access

Authors:
Alessandro Artale;Roman Kontchakov;Frank Wolter;Michael Zakharyaschev
Affiliations:
Faculty of Computer Science, Free University of Bozen-Bolzano, Italy;Department of Computer Science and Information Systems, Birkbeck, University of London, UK;Department of Computer Science, University of Liverpool, UK;Department of Computer Science and Information Systems, Birkbeck, University of London, UK
Venue:
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Year:
2013

Citing 18
Cited 0

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

Journal of Intelligent Information Systems - Special issue on methodologies for intelligent systems
Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series)

Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series)
Introducing Time into RDF

IEEE Transactions on Knowledge and Data Engineering
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

Journal of Automated Reasoning
Scaling RDF with Time

Proceedings of the 17th international conference on World Wide Web
Temporal Description Logics: A Survey

TIME '08 Proceedings of the 2008 15th International Symposium on Temporal Representation and Reasoning
Reasoning on UML class diagrams

Artificial Intelligence
The DL-lite family and relations

Journal of Artificial Intelligence Research
Reasoning over extended ER models

ER'07 Proceedings of the 26th international conference on Conceptual modeling
Complexity of reasoning over temporal data models

ER'10 Proceedings of the 29th international conference on Conceptual modeling
Ontological queries: Rewriting and optimization

ICDE '11 Proceedings of the 2011 IEEE 27th International Conference on Data Engineering
Representing and querying validity time in RDF and OWL: A logic-based approach

Web Semantics: Science, Services and Agents on the World Wide Web
A general Datalog-based framework for tractable query answering over ontologies

Web Semantics: Science, Services and Agents on the World Wide Web
Fixpoints in temporal description logics

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
LTL over description logic axioms

ACM Transactions on Computational Logic (TOCL)
Boundedness of monadic FO over acyclic structures

ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Towards a unifying approach to representing and querying temporal data in description logics

RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
A sound and complete backward chaining algorithm for existential rules

RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 OWL2QL, provides basic means for temporal conceptual modelling and ensures first-order rewritability of conjunctive queries for suitably defined data instances with validity time.