Frank Wolter

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 112

Top Venues

CoRR

Description Logics

IJCAI

Publications

Frank Wolter, Michael Zakharyaschev
Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations. CoRR (2024)
Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter
Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version). CoRR (2024)
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
The interpolant existence problem for weak K4 and difference logic. CoRR (2024)
Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter
An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract). Description Logics (2024)
Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev
Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract). Description Logics (2024)
James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Frank Wolter
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282). Dagstuhl Manifestos 10 (1) (2024)
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Extremal Separation Problems for Temporal Instance Queries. CoRR (2024)
Frank Wolter, Michael Zakharyaschev
Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations. Description Logics (2024)
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
Definitions and (Uniform) Interpolants in First-Order Modal Logic. KR (2023)
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. IJCAI (2023)
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
Definitions and (Uniform) Interpolants in First-Order Modal Logic. CoRR (2023)
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract). Description Logics (2023)
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. ACM Trans. Comput. Log. 24 (4) (2023)
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries. CoRR (2023)
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
A non-uniform view of Craig interpolation in modal logics with linear frames. CoRR (2023)
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. CoRR (2023)
James P. Delgrande, Birte Glimm, Thomas Andreas Meyer, Miroslaw Truszczynski, Frank Wolter
Current and Future Challenges in Knowledge Representation and Reasoning. CoRR (2023)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract). IJCAI (2022)
Marie Fortin, Boris Konev, Frank Wolter
Interpolants and Explicit Definitions in Extensions of the Description Logic EL. CoRR (2022)
Marie Fortin, Boris Konev, Frank Wolter
Interpolants and Explicit Definitions in Extensions of the Description Logic EL. KR (2022)
James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Milene Santos Teixeira, Frank Wolter
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282). Dagstuhl Reports 12 (7) (2022)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. J. Artif. Intell. Res. 75 (2022)
Jean Christoph Jung, Andrea Mazzullo, Frank Wolter
More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions. Description Logics (2022)
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract). Description Logics (2022)
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
Unique Characterisability and Learnability of Temporal Instance Queries. KR (2022)
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
Unique Characterisability and Learnability of Temporal Instance Queries. CoRR (2022)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Logical separability of labeled data examples under ontologies. Artif. Intell. 313 (2022)
Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter
How to Approximate Ontology-Mediated Queries. CoRR (2021)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter
On Free Description Logics with Definite Descriptions. CoRR (2021)
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. AAAI (2021)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Separating Data Examples by Description Logic Concepts with Restricted Signatures. KR (2021)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter
On Free Description Logics with Definite Descriptions. KR (2021)
Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter
How to Approximate Ontology-Mediated Queries (Extended Abstract. Description Logics (2021)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. CoRR (2021)
Jean Christoph Jung, Frank Wolter
Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments. LICS (2021)
Frank Wolter
Living Without Beth and Craig: Explicit Definitions and Interpolants without Beth Definability and Craig Interpolation (Abstract of Invited Talk). SOQE@KR (2021)
Marie Fortin, Boris Konev, Frank Wolter
Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract). Description Logics (2021)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Separating Data Examples by Description Logic Concepts with Restricted Signatures. CoRR (2021)
Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter
How to Approximate Ontology-Mediated Queries. KR (2021)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
First-order rewritability of ontology-mediated queries in linear temporal logic. Artif. Intell. 299 (2021)
Jean Christoph Jung, Frank Wolter
Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment. CoRR (2020)
Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter
A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract). Description Logics (2020)
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract). Description Logics (2020)
Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter
A Journey into Ontology Approximation: From Non-Horn to Horn. IJCAI (2020)
Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter
On Free Description Logics with Definite Descriptions. Description Logics (2020)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Logical Separability of Incomplete Data under Ontologies. KR (2020)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Logical Separability of Incomplete Data under Ontologies. CoRR (2020)
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals. CoRR (2020)
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. ACM Trans. Comput. Log. 21 (3) (2020)
Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. CoRR (2020)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures. CoRR (2020)
Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Boolean Role Inclusions in DL-Lite With and Without Time. KR (2020)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. CoRR (2020)
Jean Christoph Jung, Carsten Lutz, Frank Wolter
Least General Generalizations in Description Logic: Verification and Existence. AAAI (2020)
Cristina Feier, Carsten Lutz, Frank Wolter
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying. CoRR (2020)
Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter
A Journey into Ontology Approximation: From Non-Horn to Horn. CoRR (2020)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract). Description Logics (2020)
Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
A Note on DL-Lite with Boolean Role Inclusions. Description Logics (2019)
Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?. IJCAI (2019)
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Query Inseparability for ALC Ontologies. CoRR (2019)
Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev
Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators. J. Symb. Log. 84 (2) (2019)
Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
Model Comparison Games for Horn Description Logics. LICS (2019)
Anneke Bötcher, Carsten Lutz, Frank Wolter
Ontology Approximation in Horn Description Logics. IJCAI (2019)
Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
Model Comparison Games for Horn Description Logics: A Summary. Description Logics (2019)
Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract). Description Logics (2019)
Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
Model Comparison Games for Horn Description Logics. CoRR (2019)
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Query inseparability for ALC ontologies. Artif. Intell. 272 (2019)
Carsten Lutz, Inanç Seylan, Frank Wolter
The Data Complexity of Ontology-Mediated Queries with Closed Predicates. Log. Methods Comput. Sci. 15 (3) (2019)
Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction. Description Logic, Theory Combination, and All That (2019)
Anneke Bötcher, Carsten Lutz, Frank Wolter
Complete Approximations of Horn DL Ontologies. Description Logics (2018)
Cristina Feier, Carsten Lutz, Frank Wolter
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying. IJCAI (2018)
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying. IJCAI (2018)
Carsten Lutz, Inanç Seylan, Frank Wolter
The Data Complexity of Ontology-Mediated Queries with Closed Predicates. CoRR (2018)
Fabio Papacchini, Frank Wolter
A Van Benthem Theorem for Horn Description and Modal Logic. Description Logics (2018)
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. CoRR (2018)
Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. CoRR (2018)
Cristina Feier, Carsten Lutz, Frank Wolter
From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying. Description Logics (2018)
Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
On Strictly Positive Modal Logics with S4.3 Frames. Advances in Modal Logic (2018)
Carsten Lutz, Frank Wolter
The Data Complexity of Description Logic Ontologies. Log. Methods Comput. Sci. 13 (4) (2017)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). TIME (2017)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter
Conservative Extensions in Guarded and Two-Variable Fragments. CoRR (2017)
Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
Exact Learning of Lightweight Description Logic Ontologies. J. Mach. Learn. Res. 18 (2017)
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
Horn Rewritability vs PTime Query Answering for Description Logic TBoxes. Description Logics (2017)
André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. PODS (2017)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter
Conservative Extensions in Guarded and Two-Variable Fragments. ICALP (2017)
Stanislav Kikot, Ágnes Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev
Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators. CoRR (2017)
André Hernich, Julio Lemos, Frank Wolter
Query Answering in DL-Lite with Datatypes: A Non-Uniform Approach. AAAI (2017)
Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
Exact Learning of Lightweight Description Logic Ontologies. CoRR (2017)
Carsten Lutz, Frank Wolter
The Data Complexity of Description Logic Ontologies. CoRR (2016)
Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter
Query and Predicate Emptiness in Ontology-Based Data Access. J. Artif. Intell. Res. 56 (2016)
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Games for query inseparability of description logic knowledge bases. Artif. Intell. 234 (2016)
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
When is Query Inseparability for ALC Ontologies Decidable? Description Logics (2016)
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Query-Based Entailment and Inseparability for ALC Ontologies (Full Version). CoRR (2016)
Frank Wolter
Automata for Ontologies. LATA (2016)
Boris Konev, Ana Ozaki, Frank Wolter
A Model for Learning Description Logic Ontologies Based on Exact Learning. AAAI (2016)
Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. IJCAI (2016)
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Query-Based Entailment and Inseparability for ALC Ontologies. IJCAI (2016)
André Hernich, Julio Lemos, Frank Wolter
Constraint Patterns for Tractable Ontology-Mediated Queries with Datatypes. Description Logics (2016)
Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. Description Logics (2016)
Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
Conservative Rewritability of Description Logic TBoxes. IJCAI (2016)

Frank Wolter.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Frank Wolter