Proceedings

Frank Wolter

Department of Computer Science , University of Liverpool , UK

28 papers in the IJCAI proceedings

IJCAI 2024

Extremal Separation Problems for Temporal Instance Queries
with Jean Christoph Jung, Vladislav Ryzhikov, Michael Zakharyaschev
doi:10.24963/ijcai.2024/382
Details PDF

IJCAI 2023

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies
with Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
doi:10.24963/ijcai.2023/360
Details PDF

IJCAI 2022

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

IJCAI 2020

A Journey into Ontology Approximation: From Non-Horn to Horn
with Anneke Haga, Carsten Lutz, Johannes Marti
doi:10.24963/ijcai.2020/253
Details PDF

IJCAI 2019

Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?
with Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini
doi:10.24963/ijcai.2019/233
Details PDF
Ontology Approximation in Horn Description Logics
with Anneke Bötcher, Carsten Lutz
doi:10.24963/ijcai.2019/218
Details PDF

IJCAI 2018

From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying
with Cristina Feier, Carsten Lutz
doi:10.24963/ijcai.2018/250
Details PDF
Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying
with Andre Hernich, Carsten Lutz, Fabio Papacchini
doi:10.24963/ijcai.2018/257
Details PDF

IJCAI 2016

Conservative Rewritability of Description Logic TBoxes
with Boris Konev, Carsten Lutz, Michael Zakharyaschev
Details PDF
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics
with Meghyn Bienvenu, Peter Hansen, Carsten Lutz
Details PDF
Query-Based Entailment and Inseparability for ALC Ontologies
with Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Michael Zakharyaschev
Details PDF

IJCAI 2015

Efficient Query Rewriting in the Description Logic EL and Beyond
with Peter Hansen, Carsten Lutz, Inanç Seylan
Details PDF
First-Order Rewritability of Temporal Ontology-Mediated Queries
with Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Michael Zakharyaschev
Details PDF
Ontology-Mediated Queries with Closed Predicates
with Carsten Lutz, Inanç Seylan
Details PDF
Schema.org as a Description Logic
with André Hernich, Carsten Lutz, Ana Ozaki
Details PDF
When Are Description Logic Knowledge Bases Indistinguishable?
with Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Details PDF

IJCAI 2013

First-Order Rewritability of Atomic Queries in Horn Description Logics
with Meghyn Bienvenu, Carsten Lutz
Details PDF
Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes)
with Carsten Lutz, Inanç Seylan
Details PDF
Temporal Description Logic for Ontology-Based Data Access
with Alessandro Artale, Roman Kontchakov, Michael Zakharyaschev
Details PDF

IJCAI 2011

Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability
with Carsten Lutz, Robert Piro
doi:10.5591/978-1-57735-516-8/IJCAI11-169
Details PDF
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics
with Carsten Lutz
doi:10.5591/978-1-57735-516-8/IJCAI11-170
Details PDF
The Combined Approach to Ontology-Based Data Access
with Roman Kontchakov, Carsten Lutz, David Toman, Michael Zakharyaschev
doi:10.5591/978-1-57735-516-8/IJCAI11-442
Details PDF

IJCAI 2009

Conjunctive Query Answering in the Description Logic EL Using a Relational Database System
with Carsten Lutz, David Toman
Details PDF
Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies
with Boris Konev, Dirk Walther
Details PDF
Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers
with Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Michael Zakharyaschev
Details PDF

IJCAI 2007

Conservative Extensions in Expressive Description Logics
with Carsten Lutz, Dirk Walther
Details PDF

IJCAI 2003

Reasoning about distances
with Michael Zakharyaschev
Details PDF

IJCAI 1999

Multi-Dimensional Description Logics
with Michael Zakharyaschev
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards