Wolter, Frank

40 publications

IJCAI 2024 Extremal Separation Problems for Temporal Instance Queries Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

IJCAI 2023 Reverse Engineering of Temporal Queries Mediated by LTL Ontologies Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev

JAIR 2022 First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

IJCAI 2022 On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract) Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

AAAI 2021 Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter

IJCAI 2020 A Journey into Ontology Approximation: From Non-Horn to Horn Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter

AAAI 2020 Least General Generalizations in Description Logic: Verification and Existence Jean Christoph Jung, Carsten Lutz, Frank Wolter

IJCAI 2019 Learning Description Logic Concepts: When Can Positive and Negative Examples Be Separated? Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter

IJCAI 2019 Ontology Approximation in Horn Description Logics Anneke Bötcher, Carsten Lutz, Frank Wolter

IJCAI 2018 From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying Cristina Feier, Carsten Lutz, Frank Wolter

IJCAI 2018 Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter

AAAI 2017 Query Answering in DL-Lite with Datatypes: A Non-Uniform Approach André Hernich, Julio Lemos, Frank Wolter

AAAI 2016 A Model for Learning Description Logic Ontologies Based on Exact Learning Boris Konev, Ana Ozaki, Frank Wolter

IJCAI 2016 Conservative Rewritability of Description Logic TBoxes Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev

IJCAI 2016 First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter

JAIR 2016 Query and Predicate Emptiness in Ontology-Based Data Access Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter

IJCAI 2016 Query-Based Entailment and Inseparability for ALC Ontologies Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

IJCAI 2015 Efficient Query Rewriting in the Description Logic EL and Beyond Peter Hansen, Carsten Lutz, Inanç Seylan, Frank Wolter

IJCAI 2015 First-Order Rewritability of Temporal Ontology-Mediated Queries Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

IJCAI 2015 Ontology-Mediated Queries with Closed Predicates Carsten Lutz, Inanç Seylan, Frank Wolter

IJCAI 2015 Schema.org as a Description Logic André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter

IJCAI 2015 When Are Description Logic Knowledge Bases Indistinguishable? Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

IJCAI 2013 First-Order Rewritability of Atomic Queries in Horn Description Logics Meghyn Bienvenu, Carsten Lutz, Frank Wolter

IJCAI 2013 Ontology-Based Data Access with Closed Predicates Is Inherently Intractable(Sometimes) Carsten Lutz, Inanç Seylan, Frank Wolter

IJCAI 2013 Temporal Description Logic for Ontology-Based Data Access Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev

JAIR 2012 The Logical Difference for the Lightweight Description Logic EL Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter

AAAI 2011 Conjunctive Query Inseparability of OWL 2 QL TBoxes Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev

IJCAI 2011 Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability Carsten Lutz, Robert Piro, Frank Wolter

IJCAI 2011 Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics Carsten Lutz, Frank Wolter

IJCAI 2011 The Combined Approach to Ontology-Based Data Access Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev

IJCAI 2009 Conjunctive Query Answering in the Description Logic EL Using a Relational Database System Carsten Lutz, David Toman, Frank Wolter

IJCAI 2009 Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies Boris Konev, Dirk Walther, Frank Wolter

IJCAI 2009 Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev

JAIR 2009 The Complexity of Circumscription in DLs Piero A. Bonatti, Carsten Lutz, Frank Wolter

IJCAI 2007 Conservative Extensions in Expressive Description Logics Carsten Lutz, Dirk Walther, Frank Wolter

JAIR 2005 Combining Spatial and Temporal Logics: Expressiveness vs. Complexity David Gabelaia, Roman Kontchakov, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev

AAAI 2005 Integrating Description Logics and Action Formalisms: First Results Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter

IJCAI 2003 Reasoning About Distances Frank Wolter, Michael Zakharyaschev

JAIR 2002 Fusions of Description Logics and Abstract Description Systems Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter

IJCAI 1999 Multi-Dimensional Description Logics Frank Wolter, Michael Zakharyaschev