First-Order Rewritability of Temporal Ontology-Mediated Queries

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

Back

First-Order Rewritability of Temporal Ontology-Mediated Queries

Conference proceeding

Open access

Peer reviewed

First-Order Rewritability of Temporal Ontology-Mediated Queries

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

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, 25-31 July 2015, pp.2706-2712

International Joint Conference on Artificial Intelligence. Proceedings

24th International Joint Conference on Artificial Intelligence (IJCAI 2015) (Buenos Aires, 25/07/2015 - 31/07/2015)

2015

Handle:

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

Abstract

Aiming at ontology-based data access over temporal, in particular streaming data, we design a language of ontology-mediated queries by extending OWL 2 QL and SPARQL with temporal operators, and investigate rewritability of these queries into two-sorted first-order logic with < and PLUS over time.

Files and links (2)

pdf

Preprint_First-OrderRewritabilityofTemporalOntology-MediatedQueries-1476.60 kBDownload View

Open Access

url

https://www.aaai.org/ocs/index.php/IJCAI/IJCAI15/paper/viewPaper/11190View

Details

Title: First-Order Rewritability of Temporal Ontology-Mediated Queries
Creators: Alessandro Artale
Roman Kontchakov
Alisa Kovtunova
Vladislav Ryzhikov
Frank Wolter
Michael Zakharyaschev
Publication Details: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, 25-31 July 2015, pp.2706-2712
Editor(s): Wooldridge M, Yang Q
ISBN: 9781577357384
ISSN: 1045-0823
Conference: 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) (Buenos Aires, 25/07/2015 - 31/07/2015)
Series / Volume: International Joint Conference on Artificial Intelligence. Proceedings
Publisher: AAAI Press
Palo Alto, Calif.
Format: Online
Number of pages: 7
Identifiers: 978-1-57735-738-4
(UNIBZ)1784600
991006406094701241
Web of Science ID: 000442637802111
Scopus ID: 2-s2.0-84949811617
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: Wooldridge M, Yang Q

Metrics

3 File views/ downloads

6 Record Views