On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)

Alessandro Artale; Roman Kontchakov; Alia Kovtunova; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev

doi:10.24963/ijcai.2022/794

Back

On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)

Conference proceeding

Peer reviewed

On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)

Alessandro Artale, Roman Kontchakov, Alia Kovtunova, Vladislav Ryzhikov, Frank Wolter and Michael Zakharyaschev

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July 2022, pp.5703-5707

International Joint Conference on Artificial Intelligence (Vienna, 23/07/2022–29/07/2022)

2022

DOI: https://doi.org/10.24963/ijcai.2022/794

Handle:

https://hdl.handle.net/10863/31888

Abstract

Research Centre for Knowledge and Data (KRDB)

Temporal logics

Expressive Description Logics

We argue that linear temporal logic LTL in tandem with monadic first-order logic can be used as a basic language for ontology-based access to temporal data and obtain a classification of the resulting ontology-mediated queries according to the type of standard first-order queries they can be rewritten to.

Files and links (1)

url

https://doi.org/10.24963/ijcai.2022/794View

Details

Title: On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)
Creators: Alessandro Artale - Free University of Bozen-Bolzano
Roman Kontchakov - Birkbeck, University of London
Alia Kovtunova
Vladislav Ryzhikov - Birkbeck, University of London
Frank Wolter - University of Liverpool
Michael Zakharyaschev - Birkbeck, University of London
Publication Details: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July 2022, pp.5703-5707
Editor(s): De Raedt L
ISBN: 978-195679200-3
Conference: International Joint Conference on Artificial Intelligence (Vienna, 23/07/2022–29/07/2022)
Publisher: ijcai.org
Format: Online
Identifiers: 978-195679200-3
(UNIBZ)65986307
991006491197401241
Scopus ID: 2-s2.0-85137886033
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Conference proceeding
Author Names String: Artale A, Kontchakov R, Kovtunova A, Ryzhikov V, Wolter F, Zakharyaschev M
Additional Description: Editors/Supervisors: De Raedt L
unibz-area: Research Centre for Knowledge and Data (KRDB)
ERC: Theoretical computer science, formal methods, and quantum computing;Artificial intelligence, intelligent systems, multi agent systems
ERCCODE: PE6_4;PE6_7
MIURSSD: Informatica
MIURSSDCODE: INF/01

Metrics

2 Record Views