Proceedings

Roman Kontchakov

Department of Computer Science and Information Systems , Birkbeck , University of London , UK

10 papers in the IJCAI proceedings

IJCAI 2022

On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)
with Alessandro Artale, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
doi:10.24963/ijcai.2022/794
Details PDF

IJCAI 2018

Ontology-Based Data Access: A Survey
with Guohui Xiao, Diego Calvanese, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev
doi:10.24963/ijcai.2018/777
Details PDF

IJCAI 2016

Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic
with Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev
Details PDF
Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries
with Víctor Gutiérrez-Basulto, Jean Christoph Jung
Details PDF

IJCAI 2015

First-Order Rewritability of Temporal Ontology-Mediated Queries
with Alessandro Artale, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Details PDF
When Are Description Logic Knowledge Bases Indistinguishable?
with Elena Botoeva, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Details PDF

IJCAI 2013

Temporal Description Logic for Ontology-Based Data Access
with Alessandro Artale, Frank Wolter, Michael Zakharyaschev
Details PDF

IJCAI 2011

On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces
with Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev
doi:10.5591/978-1-57735-516-8/IJCAI11-165
Details PDF
The Combined Approach to Ontology-Based Data Access
with Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
doi:10.5591/978-1-57735-516-8/IJCAI11-442
Details PDF

IJCAI 2009

Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers
with Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards