Properties of Independently Axiomatizable Bimodal Logics. - Marcus Kracht; Frank Wolter (J. Symb. Log., 1991)

Solution to a Problem of Goranko and Passy. - Frank Wolter (J. Log. Comput., 1994)

What is the upper part of the lattice of bimodal logics? - Frank Wolter (Stud Logica, 1994)

The Finite Model Property in Tense Logic. - Frank Wolter (J. Symb. Log., 1995)

Fusions of Modal Logics Revisited. - Frank Wolter (Advances in Modal Logic, 1996)

Tense Logic Without Tense Operators. - Frank Wolter (Math. Log. Q., 1996)

Properties of Tense Logics. - Frank Wolter (Math. Log. Q., 1996)

A Counterexample in Tense Logic. - Frank Wolter (Notre Dame J. Formal Log., 1996)

The Structure of Lattices of Subframe Logics. - Frank Wolter (Ann. Pure Appl. Log., 1997)

A Note on the Interpolation Property in Tense Logic. - Frank Wolter (J. Philos. Log., 1997)

Completeness and Decidability of Tense Logics Closely Related to Logics Above K4. - Frank Wolter (J. Symb. Log., 1997)

Simulation and Transfer Results in Modal Logic - A Survey. - Marcus Kracht; Frank Wolter (Stud Logica, 1997)

Superintuitionistic Companions of Classical Modal Logics. - Frank Wolter (Stud Logica, 1997)

Dynamic Description Logics. - Frank Wolter; Michael Zakharyaschev (Advances in Modal Logic, 1998)

Temporalizing Description Logics. - Frank Wolter; Michael Zakharyaschev (FroCoS, 1998)

On the Decidability of Description Logics with Modal Operators. - Frank Wolter; Michael Zakharyaschev (KR, 1998)

All finitely axiomatizable subframe logics containing the provability logic CSM 0_{0} are decidable. - Frank Wolter (Arch. Math. Log., 1998)

Speaking about Transitive Frames in Propositional Languages. - Yasuhito Suzuki; Frank Wolter; Michael Zakharyaschev (J. Log. Lang. Inf., 1998)

On Logics with Coimplication. - Frank Wolter (J. Philos. Log., 1998)

Multi-Dimensional Description Logics. - Frank Wolter; Michael Zakharyaschev (IJCAI, 1999)

Modal Description Logics: Modalizing Roles. - Frank Wolter; Michael Zakharyaschev (Fundam. Informaticae, 1999)

Normal Monomodal Logics Can Simulate All Others. - Marcus Kracht; Frank Wolter (J. Symb. Log., 1999)

Fusions of Description Logics. - Franz Baader; Carsten Lutz; Holger Sturm; Frank Wolter (Description Logics, 2000)

Spatial Reasoning in RCC-8 with Boolean Region Terms. - Frank Wolter; Michael Zakharyaschev (ECAI, 2000)

Semi-qualitative Reasoning about Distances: A Preliminary Report. - Holger Sturm; Nobu-Yuki Suzuki; Frank Wolter; Michael Zakharyaschev (JELIA, 2000)

Monodic Epistemic Predicate Logic. - Holger Sturm; Frank Wolter; Michael Zakharyaschev (JELIA, 2000)

Spatio-temporal representation and reasoning based on RCC-8. - Frank Wolter; Michael Zakharyaschev (KR, 2000)

Decidable fragment of first-order temporal logics. - Ian M. Hodkinson; Frank Wolter; Michael Zakharyaschev (Ann. Pure Appl. Log., 2000)

The product of converse PDL and polymodal K. - Frank Wolter (J. Log. Comput., 2000)

First Order Common Knowledge Logics. - Frank Wolter (Stud Logica, 2000)

Tableaux for Temporal Description Logic with Constant Domains. - Carsten Lutz; Holger Sturm; Frank Wolter; Michael Zakharyaschev (IJCAR, 2001)

Modal Logic and the Two-Variable Fragment. - Carsten Lutz; Ulrike Sattler; Frank Wolter (CSL, 2001)

The DLRUS Temporal Description Logic. - Alessandro Artale; Enrico Franconi; Milenko Mosurovic; Frank Wolter; Michael Zakharyaschev (Description Logics, 2001)

A Note on Concepts and Distances. - Oliver Kutz; Frank Wolter; Michael Zakharyaschev (Description Logics, 2001)

Description Logics and the Two-Variable Fragment. - Carsten Lutz; Ulrike Sattler; Frank Wolter (Description Logics, 2001)

Monodic fragments of first-order temporal logics: 2000-2001 A.D. - Ian M. Hodkinson; Frank Wolter; Michael Zakharyaschev (LPAR, 2001)

Reasoning over Conceptual Schemas and Queries in Temporal Databases. - Alessandro Artale; Enrico Franconi; Milenko Mosurovic; Frank Wolter; Michael Zakharyaschev (SEBD, 2001)

First-order Expressivity for S5-models: Modal vs. Two-sorted Languages. - Holger Sturm; Frank Wolter (J. Philos. Log., 2001)

Decidable Fragments of First-Order Modal Logics. - Frank Wolter; Michael Zakharyaschev (J. Symb. Log., 2001)

Editorial Preface. - Philippe Balbiani; Nobu-Yuki Suzuki; Frank Wolter; Michael Zakharyaschev (Advances in Modal Logic, 2002)

A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. - Alessandro Artale; Enrico Franconi; Frank Wolter; Michael Zakharyaschev (JELIA, 2002)

Connecting Abstract Description Systems. - Oliver Kutz; Frank Wolter; Michael Zakharyaschev (KR, 2002)

Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. - Ian M. Hodkinson; Frank Wolter; Michael Zakharyaschev (LICS, 2002)

On Non-Local Propositional and Local One-Variable Quantified CTL*. - Sebastian Bauer 004; Ian M. Hodkinson; Frank Wolter; Michael Zakharyaschev (TIME, 2002)

Axiomatizing the monodic fragment of first-order temporal logic. - Frank Wolter; Michael Zakharyaschev (Ann. Pure Appl. Log., 2002)

Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning. - Brandon Bennett; Anthony G. Cohn 001; Frank Wolter; Michael Zakharyaschev (Appl. Intell., 2002)

Fusions of Description Logics and Abstract Description Systems. - Franz Baader; Carsten Lutz; Holger Sturm; Frank Wolter (J. Artif. Intell. Res., 2002)

Axiomatizing Distance Logics. - Oliver Kutz; Holger Sturm; Nobu-Yuki Suzuki; Frank Wolter; Michael Zakharyaschev (J. Appl. Non Class. Logics, 2002)

A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case. - Holger Sturm; Frank Wolter (J. Log. Comput., 2002)

Preface. - Ágnes Kurucz; Michael Zakharyaschev; Frank Wolter (Stud Logica, 2002)

A Tableau Decision Algorithm for Modalized ALC with Constant Domains. - Carsten Lutz; Holger Sturm; Frank Wolter; Michael Zakharyaschev (Stud Logica, 2002)

Extensions to Description Logics. - Franz Baader; Ralf Küsters; Frank Wolter (Description Logic Handbook, 2003)

E-connections of Description Logics. - Oliver Kutz; Carsten Lutz; Frank Wolter; Michael Zakharyaschev (Description Logics, 2003)

Resasoning about Concepts and Similarity. - Carsten Lutz; Frank Wolter; Michael Zakharyaschev (Description Logics, 2003)

On the Computational Complexity of Spatio-Temporal Logics. - David Gabelaia; Roman Kontchakov; Agi Kurucz; Frank Wolter; Michael Zakharyaschev (FLAIRS, 2003)

Reasoning about distances. - Frank Wolter; Michael Zakharyaschev (IJCAI, 2003)

A Tableau Algorithm for Reasoning about Concepts and Similarity. - Carsten Lutz; Frank Wolter; Michael Zakharyaschev (TABLEAUX, 2003)

On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. - Ian M. Hodkinson; Roman Kontchakov; Agi Kurucz; Frank Wolter; Michael Zakharyaschev (TIME, 2003)

From Tableaux to Automata for Description Logics. - Franz Baader; Jan Hladik; Carsten Lutz; Frank Wolter (Fundam. Informaticae, 2003)

Logics of metric spaces. - Oliver Kutz; Frank Wolter; Holger Sturm; Nobu-Yuki Suzuki; Michael Zakharyaschev (ACM Trans. Comput. Log., 2003)

E-connections of abstract description systems. - Oliver Kutz; Carsten Lutz; Frank Wolter; Michael Zakharyaschev (Artif. Intell., 2004)

On Non-local Propositional and Weak Monodic Quantified CTL. - Sebastian Bauer 004; Ian M. Hodkinson; Frank Wolter; Michael Zakharyaschev (J. Log. Comput., 2004)

Temporalising Tableaux. - Roman Kontchakov; Carsten Lutz; Frank Wolter; Michael Zakharyaschev (Stud Logica, 2004)

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

Modal Logics for Metric Spaces: Open Problems. - Agi Kurucz; Frank Wolter; Michael Zakharyaschev (We Will Show Them! (2), 2005)

Temporal Logics over Transitive States. - Boris Konev; Frank Wolter; Michael Zakharyaschev (CADE, 2005)

'Closer' representation and reasoning. - Mikhail Sheremet; Dmitry Tishkovsky; Frank Wolter; Michael Zakharyaschev (Description Logics, 2005)

Comparative Similarity, Tree Automata, and Diophantine Equations. - Mikhail Sheremet; Dmitry Tishkovsky; Frank Wolter; Michael Zakharyaschev (LPAR, 2005)

Quantitative Temporal Logics: PSPACE and Below. - Carsten Lutz; Dirk Walther 002; Frank Wolter (TIME, 2005)

Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. - David Gabelaia; Roman Kontchakov; Ágnes Kurucz; Frank Wolter; Michael Zakharyaschev (J. Artif. Intell. Res., 2005)

Products of 'transitive' modal logics. - David Gabelaia; Agi Kurucz; Frank Wolter; Michael Zakharyaschev (J. Symb. Log., 2005)

A logic for metric and topology. - Frank Wolter; Michael Zakharyaschev (J. Symb. Log., 2005)

All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete. - Tadeusz Litak; Frank Wolter (Stud Logica, 2005)

Conservative extensions in modal logic. - Silvio Ghilardi; Carsten Lutz; Frank Wolter; Michael Zakharyaschev (Advances in Modal Logic, 2006)

Dynamic topological logics over spaces with continuous functions. - Boris Konev; Roman Kontchakov; Frank Wolter; Michael Zakharyaschev (Advances in Modal Logic, 2006)

From topology to metric: modal logic and quantification in metric spaces. - Mikhail Sheremet; Dmitry Tishkovsky; Frank Wolter; Michael Zakharyaschev (Advances in Modal Logic, 2006)

DL Actions with GCIs: a Pragmatic Approach. - Hongkai Liu; Carsten Lutz; Maja Milicic; Frank Wolter (Description Logics, 2006)

Automated Reasoning About Metric and Topology. - Ullrich Hustadt; Dmitry Tishkovsky; Frank Wolter; Michael Zakharyaschev (JELIA, 2006)

Reasoning About Actions Using Description Logics with General TBoxes. - Hongkai Liu; Carsten Lutz; Maja Milicic; Frank Wolter (JELIA, 2006)

Description Logics with Circumscription. - Piero A. Bonatti; Carsten Lutz; Frank Wolter (KR, 2006)

Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. - Silvio Ghilardi; Carsten Lutz; Frank Wolter (KR, 2006)

Updating Description Logic ABoxes. - Hongkai Liu; Carsten Lutz; Maja Milicic; Frank Wolter (KR, 2006)

Non-primitive recursive decidability of products of modal logics with expanding domains. - David Gabelaia; Agi Kurucz; Frank Wolter; Michael Zakharyaschev (Ann. Pure Appl. Log., 2006)

Modal Logics of Topological Relations. - Carsten Lutz; Frank Wolter (Log. Methods Comput. Sci., 2006)

ATL Satisfiability is Indeed EXPTIME-complete. - Dirk Walther 002; Carsten Lutz; Frank Wolter; Michael J. Wooldridge (J. Log. Comput., 2006)

On Dynamic Topological and Metric Logics. - Boris Konev; Roman Kontchakov; Frank Wolter; Michael Zakharyaschev (Stud Logica, 2006)

Willem Blok and Modal Logic. - Wolfgang Rautenberg; Michael Zakharyaschev; Frank Wolter (Stud Logica, 2006)

Modal decision problems. - Frank Wolter; Michael Zakharyaschev (Handbook of Modal Logic, 2007)

Conservative Extensions in the Lightweight Description Logic EL. - Carsten Lutz; Frank Wolter (CADE, 2007)

Modularity in DL-Lite. - Roman Kontchakov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2007)

Conservative Extensions in Expressive Description Logics. - Carsten Lutz; Dirk Walther 002; Frank Wolter (IJCAI, 2007)

Temporalising Tractable Description Logics. - Alessandro Artale; Roman Kontchakov; Carsten Lutz; Frank Wolter; Michael Zakharyaschev (TIME, 2007)

Quantitative temporal logics over the reals: PSpace and below. - Carsten Lutz; Dirk Walther 002; Frank Wolter (Inf. Comput., 2007)

A Logic for Concepts and Similarity. - Mikhail Sheremet; Dmitry Tishkovsky; Frank Wolter; Michael Zakharyaschev (J. Log. Comput., 2007)

Spatial Logic + Temporal Logic = ?. - Roman Kontchakov; Agi Kurucz; Frank Wolter; Michael Zakharyaschev (Handbook of Spatial Logics, 2007)

Topology, connectedness, and modal logic. - Roman Kontchakov; Ian Pratt-Hartmann; Frank Wolter; Michael Zakharyaschev (Advances in Modal Logic, 2008)

The Logical Difference Problem for Description Logic Terminologies. - Boris Konev; Dirk Walther 002; Frank Wolter (IJCAR, 2008)

Logical Difference and Module Extraction with CEX and MEX. - Boris Konev; Carsten Lutz; Dirk Walther 002; Frank Wolter (Description Logics, 2008)

Checking DL-Lite Modularity with QBF Solvers. - Roman Kontchakov; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2008)

Semantic Modularity and Module Extraction in Description Logics. - Boris Konev; Carsten Lutz; Dirk Walther 002; Frank Wolter (ECAI, 2008)

Can You Tell the Difference Between DL-Lite Ontologies?. - Roman Kontchakov; Frank Wolter; Michael Zakharyaschev (KR, 2008)

On the Computational Complexity of Spatial Logics with Connectedness Constraints. - Roman Kontchakov; Ian Pratt-Hartmann; Frank Wolter; Michael Zakharyaschev (LPAR, 2008)

CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL. - Boris Konev; Carsten Lutz; Dirk Walther 002; Frank Wolter (OWLED (Spring), 2008)

Conjunctive Query Answering in EL using a Database System. - Carsten Lutz; David Toman 001; Frank Wolter (OWLED, 2008)

Temporal Description Logics: A Survey. - Carsten Lutz; Frank Wolter; Michael Zakharyaschev (TIME, 2008)

Undecidability of the unification and admissibility problems for modal and description logics. - Frank Wolter; Michael Zakharyaschev (ACM Trans. Comput. Log., 2008)

Query Answering over DL ABoxes: How to Pick the Relevant Symbols. - Franz Baader; Meghyn Bienvenu; Carsten Lutz; Frank Wolter (Description Logics, 2009)

Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. - Boris Konev; Dirk Walther 002; Frank Wolter (Description Logics, 2009)

Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. - Roman Kontchakov; Carsten Lutz; David Toman 001; Frank Wolter; Michael Zakharyaschev (Description Logics, 2009)

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

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

Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. - Carsten Lutz; David Toman 001; Frank Wolter (IJCAI, 2009)

Mathematical Logic for Life Science Ontologies. - Carsten Lutz; Frank Wolter (WoLLIC, 2009)

The Complexity of Circumscription in DLs. - Piero A. Bonatti; Carsten Lutz; Frank Wolter (J. Artif. Intell. Res., 2009)

Formal Properties of Modularisation. - Boris Konev; Carsten Lutz; Dirk Walther 002; Frank Wolter (Modular Ontologies, 2009)

Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL. - Agi Kurucz; Frank Wolter; Michael Zakharyaschev (Advances in Modal Logic, 2010)

EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers. - Carsten Lutz; Robert Piro; Frank Wolter (Description Logics, 2010)

Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints. - Carsten Lutz; Robert Piro; Frank Wolter (ECAI, 2010)

Query and Predicate Emptiness in Description Logics. - Franz Baader; Meghyn Bienvenu; Carsten Lutz; Frank Wolter (KR, 2010)

Decomposing Description Logic Ontologies. - Boris Konev; Carsten Lutz; Denis K. Ponomaryov; Frank Wolter (KR, 2010)

The Combined Approach to Query Answering in DL-Lite. - Roman Kontchakov; Carsten Lutz; David Toman 001; Frank Wolter; Michael Zakharyaschev (KR, 2010)

Logic-based ontology comparison and module extraction, with an application to DL-Lite. - Roman Kontchakov; Frank Wolter; Michael Zakharyaschev (Artif. Intell., 2010)

A modal logic framework for reasoning about comparative distances and topology. - Mikhail Sheremet; Frank Wolter; Michael Zakharyaschev (Ann. Pure Appl. Log., 2010)

Spatial logics with connectedness predicates - Roman Kontchakov; Ian Pratt-Hartmann; Frank Wolter; Michael Zakharyaschev (Log. Methods Comput. Sci., 2010)

Deciding inseparability and conservative extensions in the description logic EL. - Carsten Lutz; Frank Wolter (J. Symb. Comput., 2010)

Conjunctive Query Inseparability of OWL 2 QL TBoxes. - Boris Konev; Roman Kontchakov; Michel Ludwig; Thomas Schneider 002; Frank Wolter; Michael Zakharyaschev (AAAI, 2011)

Ontology-Based Data Access and Constraint Satisfaction. - Frank Wolter (CSL, 2011)

Module Extraction via Query Inseparability in OWL 2 QL. - Boris Konev; Roman Kontchakov; Michel Ludwig; Thomas Schneider 002; Frank Wolter; Michael Zakharyaschev (Description Logics, 2011)

On P/NP Dichotomies for EL Subsumption under Relational Constraints. - Agi Kurucz; Frank Wolter; Michael Zakharyaschev (Description Logics, 2011)

The Combined Approach to Ontology-Based Data Access. - Roman Kontchakov; Carsten Lutz; David Toman 001; 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)

Foundations of instance level updates in expressive description logics. - Hongkai Liu; Carsten Lutz; Maja Milicic; Frank Wolter (Artif. Intell., 2011)

Logical Difference Computation with CEX2.5. - Boris Konev; Michel Ludwig; Frank Wolter (IJCAR, 2012)

Deciding FO-Rewritability in EL. - Meghyn Bienvenu; Carsten Lutz; Frank Wolter (Description Logics, 2012)

Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity. - Carsten Lutz; Inanç Seylan; Frank Wolter (Description Logics, 2012)

Query Containment in Description Logics Reconsidered. - Meghyn Bienvenu; Carsten Lutz; Frank Wolter (KR, 2012)

An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL. - Carsten Lutz; Inanç Seylan; Frank Wolter (KR, 2012)

Non-Uniform Data Complexity of Query Answering in Description Logics. - Carsten Lutz; Frank Wolter (KR, 2012)

The Combined Approach to OBDA: Taming Role Hierarchies using Filters. - Carsten Lutz; Inanç Seylan; David Toman 001; Frank Wolter (SSWS+HPCSW@ISWC, 2012)

The Logical Difference for the Lightweight Description Logic EL. - Boris Konev; Michel Ludwig; Dirk Walther 002; Frank Wolter (J. Artif. Intell. Res., 2012)

Book Reviews. - Frank Wolter (Stud Logica, 2012)

Temporalising OWL 2 QL. - Alessandro Artale; Roman Kontchakov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2013)

Exact Learning of TBoxes in EL and DL-Lite. - Boris Konev; Carsten Lutz; Frank Wolter (Description Logics, 2013)

Temporal Description Logic for Ontology-Based Data Access. - Alessandro Artale; Roman Kontchakov; 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)

Module Extraction for Acyclic Ontologies. - William Gatens; Boris Konev; Frank Wolter (WoMO, 2013)

Model-theoretic inseparability and modularity of description logic ontologies. - Boris Konev; Carsten Lutz; Dirk Walther 002; Frank Wolter (Artif. Intell., 2013)

Temporal Description Logic for Ontology-Based Data Access (Extended Version) - Alessandro Artale; Roman Kontchakov; Frank Wolter; Michael Zakharyaschev (CoRR, 2013)

Temporal OBDA with LTL and DL-Lite. - Alessandro Artale; Roman Kontchakov; Alisa Kovtunova; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2014)

Query Inseparability by Games. - Elena Botoeva; Roman Kontchakov; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2014)

Query Rewriting under EL TBoxes: Efficient Algorithms. - Peter Hansen 002; Carsten Lutz; Inanç Seylan; Frank Wolter (Description Logics, 2014)

Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies. - William Gatens; Boris Konev; Frank Wolter (ECAI, 2014)

Query Inseparability for Description Logic Knowledge Bases. - Elena Botoeva; Roman Kontchakov; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (KR, 2014)

Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP. - Meghyn Bienvenu; Balder ten Cate; Carsten Lutz; Frank Wolter (ACM Trans. Database Syst., 2014)

Decidability of Circumscribed Description Logics Revisited. - Piero A. Bonatti; Marco Faella; Carsten Lutz; Luigi Sauro; Frank Wolter (Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015)

Conservative Rewritability of Description Logic TBoxes: First Results. - Boris Konev; Carsten Lutz; Frank Wolter; Michael Zakharyaschev (Description Logics, 2015)

Exact Learning Description Logic Ontologies from Data Retrieval Examples. - Boris Konev; Ana Ozaki; Frank Wolter (Description Logics, 2015)

On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems. - Carsten Lutz; Frank Wolter (ICDT, 2015)

Efficient Query Rewriting in the Description Logic EL and Beyond. - Peter Hansen 002; 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)

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

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

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

Fundamentals of Computation Theory. - Leszek Gasieniec; Russell Martin; Frank Wolter; Prudence W. H. Wong (Theor. Comput. Sci., 2015)

A Model for Learning Description Logic Ontologies Based on Exact Learning. - Boris Konev; Ana Ozaki; Frank Wolter (AAAI, 2016)

When is Query Inseparability for ALC Ontologies Decidable? - Elena Botoeva; Carsten Lutz; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2016)

Constraint Patterns for Tractable Ontology-Mediated Queries with Datatypes. - André Hernich; Julio Lemos; Frank Wolter (Description Logics, 2016)

First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. - Meghyn Bienvenu; Peter Hansen 002; 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, 2016)

Conservative Rewritability of Description Logic TBoxes. - Boris Konev; Carsten Lutz; Frank Wolter; Michael Zakharyaschev (IJCAI, 2016)

Automata for Ontologies. - Frank Wolter (LATA, 2016)

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. - Elena Botoeva; Boris Konev; Carsten Lutz; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (RW, 2016)

Games for query inseparability of description logic knowledge bases. - Elena Botoeva; Roman Kontchakov; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Artif. Intell., 2016)

Query-Based Entailment and Inseparability for ALC Ontologies (Full Version). - Elena Botoeva; Carsten Lutz; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (CoRR, 2016)

Query and Predicate Emptiness in Ontology-Based Data Access. - Franz Baader; Meghyn Bienvenu; Carsten Lutz; Frank Wolter (J. Artif. Intell. Res., 2016)

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

Horn Rewritability vs PTime Query Answering for Description Logic TBoxes. - André Hernich; Carsten Lutz; Fabio Papacchini; Frank Wolter (Description Logics, 2017)

Conservative Extensions in Guarded and Two-Variable Fragments. - Jean Christoph Jung; Carsten Lutz; Mauricio Martel; Thomas Schneider 002; Frank Wolter (ICALP, 2017)

Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). - Alessandro Artale; Roman Kontchakov; Alisa Kovtunova; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (TIME, 2017)

Exact Learning of Lightweight Description Logic Ontologies. - Boris Konev; Carsten Lutz; Ana Ozaki; Frank Wolter (J. Mach. Learn. Res., 2017)

The Data Complexity of Description Logic Ontologies. - Carsten Lutz; Frank Wolter (Log. Methods Comput. Sci., 2017)

On Strictly Positive Modal Logics with S4.3 Frames. - Stanislav Kikot; Agi Kurucz; Frank Wolter; Michael Zakharyaschev (Advances in Modal Logic, 2018)

Complete Approximations of Horn DL Ontologies. - Anneke Bötcher; Carsten Lutz; Frank Wolter (Description Logics, 2018)

From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying. - Cristina Feier; Carsten Lutz; Frank Wolter (Description Logics, 2018)

A Van Benthem Theorem for Horn Description and Modal Logic. - Fabio Papacchini; Frank Wolter (Description Logics, 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 (IJCAI, 2018)

A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction. - Carsten Lutz; Uli Sattler; Cesare Tinelli; Anni-Yasmin Turhan; Frank Wolter (Description Logic, Theory Combination, and All That, 2019)

Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract). - Maurice Funk; Jean Christoph Jung; Carsten Lutz; Hadrien Pulcini; Frank Wolter (Description Logics, 2019)

Model Comparison Games for Horn Description Logics: A Summary. - Jean Christoph Jung; Fabio Papacchini; Frank Wolter; Michael Zakharyaschev (Description Logics, 2019)

A Note on DL-Lite with Boolean Role Inclusions. - Roman Kontchakov; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2019)

Ontology Approximation in Horn Description Logics. - Anneke Bötcher; 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)

Model Comparison Games for Horn Description Logics. - Jean Christoph Jung; Fabio Papacchini; Frank Wolter; Michael Zakharyaschev (LICS, 2019)

Query inseparability for ALC ontologies. - Elena Botoeva; Carsten Lutz; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Artif. Intell., 2019)

Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators. - Stanislav Kikot; Agi Kurucz; Yoshihito Tanaka; Frank Wolter; Michael Zakharyaschev (J. Symb. Log., 2019)

The Data Complexity of Ontology-Mediated Queries with Closed Predicates. - Carsten Lutz; Inanç Seylan; Frank Wolter (Log. Methods Comput. Sci., 2019)

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

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract). - Alessandro Artale; Jean Christoph Jung; Andrea Mazzullo; Ana Ozaki; Frank Wolter (Description Logics, 2020)

A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract). - Anneke Haga; Carsten Lutz; Johannes Marti; Frank Wolter (Description Logics, 2020)

Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract). - Jean Christoph Jung; Carsten Lutz; Hadrien Pulcini; Frank Wolter (Description Logics, 2020)

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

Logical Separability of Incomplete Data under Ontologies. - Jean Christoph Jung; Carsten Lutz; Hadrien Pulcini; Frank Wolter (KR, 2020)

Boolean Role Inclusions in DL-Lite With and Without Time. - Roman Kontchakov; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (KR, 2020)

Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment. - Jean Christoph Jung; Frank Wolter (CoRR, 2020)

Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures. - Jean Christoph Jung; Carsten Lutz; Hadrien Pulcini; Frank Wolter (CoRR, 2020)

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals. - Alessandro Artale; Jean Christoph Jung; Andrea Mazzullo; Ana Ozaki; Frank Wolter (CoRR, 2020)

Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. - André Hernich; Carsten Lutz; Fabio Papacchini; Frank Wolter (ACM Trans. Comput. Log., 2020)

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 (AAAI, 2021)

Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract). - Marie Fortin; Boris Konev; Frank Wolter (Description Logics, 2021)

How to Approximate Ontology-Mediated Queries (Extended Abstract. - Anneke Haga; Carsten Lutz; Leif Sabellek; Frank Wolter (Description Logics, 2021)

On Free Description Logics with Definite Descriptions. - Alessandro Artale; Andrea Mazzullo; Ana Ozaki; Frank Wolter (KR, 2021)

How to Approximate Ontology-Mediated Queries. - Anneke Haga; Carsten Lutz; Leif Sabellek; Frank Wolter (KR, 2021)

Separating Data Examples by Description Logic Concepts with Restricted Signatures. - Jean Christoph Jung; Carsten Lutz; Hadrien Pulcini; Frank Wolter (KR, 2021)

Living Without Beth and Craig: Explicit Definitions and Interpolants without Beth Definability and Craig Interpolation (Abstract of Invited Talk). - Frank Wolter (SOQE@KR, 2021)

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments. - Jean Christoph Jung; Frank Wolter (LICS, 2021)

First-order rewritability of ontology-mediated queries in linear temporal logic. - Alessandro Artale; Roman Kontchakov; Alisa Kovtunova; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Artif. Intell., 2021)

Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract). - Marie Fortin; Boris Konev; Vladislav Ryzhikov; Yury Savateev; Frank Wolter; Michael Zakharyaschev (Description Logics, 2022)

More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions. - Jean Christoph Jung; Andrea Mazzullo; Frank Wolter (Description Logics, 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 (IJCAI, 2022)

Unique Characterisability and Learnability of Temporal Instance Queries. - Marie Fortin; Boris Konev; Vladislav Ryzhikov; Yury Savateev; Frank Wolter; Michael Zakharyaschev (KR, 2022)

Interpolants and Explicit Definitions in Extensions of the Description Logic EL. - Marie Fortin; Boris Konev; Frank Wolter (KR, 2022)

Logical separability of labeled data examples under ontologies. - Jean Christoph Jung; Carsten Lutz; Hadrien Pulcini; Frank Wolter (Artif. Intell., 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 (J. Artif. Intell. Res., 2022)

Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282). - James P. Delgrande; Birte Glimm; Thomas Meyer 002; Miroslaw Truszczynski; Milene Santos Teixeira; Frank Wolter (Dagstuhl Reports, 2022)

Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract). - Jean Christoph Jung; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2023)

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

Definitions and (Uniform) Interpolants in First-Order Modal Logic. - Agi Kurucz; Frank Wolter; Michael Zakharyaschev (KR, 2023)

Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries. - Jean Christoph Jung; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (CoRR, 2023)

Current and Future Challenges in Knowledge Representation and Reasoning. - James P. Delgrande; Birte Glimm; Thomas Andreas Meyer; Miroslaw Truszczynski; Frank Wolter (CoRR, 2023)

A non-uniform view of Craig interpolation in modal logics with linear frames. - Agi Kurucz; Frank Wolter; Michael Zakharyaschev (CoRR, 2023)

Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. - Alessandro Artale; Jean Christoph Jung; Andrea Mazzullo; Ana Ozaki; Frank Wolter (ACM Trans. Comput. Log., 2023)

The Interpolant Existence Problem for Weak K4 and Difference Logic. - Agi Kurucz; Frank Wolter; Michael Zakharyaschev (AiML, 2024)

An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract). - Alessandro Artale; Roman Kontchakov; Andrea Mazzullo; Frank Wolter (Description Logics, 2024)

Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract). - Louwe Kuijer; Tony Tan; Frank Wolter; Michael Zakharyaschev (Description Logics, 2024)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations. - Frank Wolter; Michael Zakharyaschev (Description Logics, 2024)

Extremal Separation Problems for Temporal Instance Queries. - Jean Christoph Jung; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (IJCAI, 2024)

Non-Rigid Designators in Modal and Temporal Free Description Logics. - Alessandro Artale; Roman Kontchakov; Andrea Mazzullo; Frank Wolter (KR, 2024)

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology. - Jean Christoph Jung; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (KR, 2024)

Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version). - Alessandro Artale; Roman Kontchakov; Andrea Mazzullo; Frank Wolter (CoRR, 2024)

Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282). - James P. Delgrande; Birte Glimm; Thomas Meyer 002; Miroslaw Truszczynski; Frank Wolter (Dagstuhl Manifestos, 2024)

Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting. - Louwe Kuijer; Tony Tan; Frank Wolter; Michael Zakharyaschev (CoRR, 2025)

Computation of Interpolants for Description Logic Concepts in Hard Cases. - Jean Christoph Jung; Jedrzej Kolodziejski; Frank Wolter (CoRR, 2025)

Interpolation in Classical Propositional Logic. - Patrick Koopmann; Christoph Wernhard; Frank Wolter (CoRR, 2025)

From Interpolating Formulas to Separating Languages and Back Again. - Agi Kurucz; Frank Wolter; Michael Zakharyaschev (CoRR, 2025)