Carsten Lutz, Robert Piro and Frank Wolter:
EL-concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers,
submitted to DL-Workshop, 2010

R. Kontchakov, F. Wolter and M. Zakharyaschev:
Logic-based ontology comparison and module extraction with an application to DL-Lite,
to appear in Journal of Artificial Intelligence

Carsten Lutz and Frank Wolter:
Deciding inseparability and conservative extensions in the description logic EL,
Journal of Symbolic Computation, 2010

M. Sheremet, F. Wolter and M. Zakharyaschev:
A modal logic framework for reasoning about comparative distances and topology,
Annals of Pure and Applied Logic, 2010

Piero Bonatti, Carsten Lutz, Frank Wolter:
The Complexity of Circumscription in Description Logic,
Journal of Artificial Intelligence Research (JAIR) 2009

Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
Query answering over DL ABoxes: How to pick the relevant symbols,
Description Logic Workshop

Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev:
Combined FO Rewritability for Conjunctive Query Answering in DL-Lite,
Description logic Workshop

Carsten Lutz and Frank Wolter:
Mathematical Logic for Life Science Ontologies,
In Proceedings of WOLLIC-2009

Carsten Lutz, David Toman, and Frank Wolter:
Conjunctive Query Answering in the Description logic EL using a Relational Database System,
In Proceedings of IJCAI-2009

R. Kontchakov, L. Pulina, U. Sattler, T. Schneider, P. Selmer, F. Wolter and M. Zakharyaschev:
Minimal Module Extraction from DL-Lite Ontologies using QBF Solvers,
In Proceedings of IJCAI-2009

Boris Konev, Dirk Walther, and Frank Wolter:
Forgetting and uniform interpolation in large-scale description logic terminologies,
In Proceedings of IJCAI-2009
Technical Report

Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter:
Formal properties of modularization,
In H. Stuckenschmidt, S. Spacciapietra, C. Parent, LNCS volume on Ontology Modularization 2009

Carsten Lutz, David Toman, and Frank Wolter:
Conjunctive Query Answering in EL using a Database System,
In Proceedings of OWLED-2008

Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter:
Semantic modularity and module extraction in description logic,
Proceedings of ECAI 2008
technical report

Boris Konev, Dirk Walther, and Frank Wolter:
The logical difference problem for description logic terminologies,
Proceedings of IJCAR-2008
technical report

R. Kontchakov, F. Wolter and M. Zakharyaschev:
Can you tell the difference between DL-Lite ontologies,
Proceedings of KR-2008

R. Kontchakov, I. Pratt-Hartmann, F. Wolter and M. Zakharyaschev:
The computational complexity of spatial logics with connectnedness constraints,
Proceedings of LPAR-2008

R. Kontchakov, I. Pratt-Hartmann, F. Wolter and M. Zakharyaschev:
Topology, connectedness, and modal logic,
Proceedings of AiML-2008

Frank Wolter and Michael Zakharyaschev:
Undecidability of the unification and admissibility problem for modal and description logics,
To appear in Transactions of Computational Logic (TOCL).

Carsten Lutz, Frank Wolter and Michael Zakharyaschev:
Temporal Description Logics: A Survey,
Proceedings of TIME 2008.

Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter:
Logical difference and module extraction with CEX and MEX,
Description Logic Workshop 2008

Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter:
CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL,
OWLED-2008

R. Kontchakov, F. Wolter and M. Zakharyaschev:
Modularity in DL-Lite,
Proceedings of Description Logic Workshop 2007

Carsten Lutz and Frank Wolter:
Conservative extensions in the Lightweight Description Logic EL,
Proceedings of CADE-2007

A. Artale, R. Kontchakov, C. Lutz, F. Wolter and M. Zakharyaschev:
Temporalising tractable description logics,
Proceedings of TIME-2007

Carsten Lutz, Dirk Walther, and Frank Wolter:
Conservative extensions in expressive description logics,
Proceedings of IJCAI-07
Full version

R. Kontchakov, A. Kurucz, F. Wolter, and M. Zakharyaschev:
Spatial Logic+Temporal Logic = ?,
Chapter for Handbook of Spatial Logic.

M. Sheremet, D. Tishkowsky, F. Wolter and M. Zakharyaschev:
A logic for concepts and similarity,
Journal of Logic and Computation.

Silvio Ghilardi, Carsten Lutz and Frank Wolter:
Did I damage my ontology: A Case for Conservative Extensions of Description Logics,
Proceedings of Principles of Knowledge Representation and Reasoning 2006 (KR06)
Full version

Hongkai Liu, C. Lutz, M. Milicic, and F. Wolter:
Updating Description Logic ABoxes,
Proceedings of Principles of Knowledge Representation and Reasoning 2006 (KR06).

Piero Bonatti, Carsten Lutz and Frank Wolter:
Description Logics with Circumscription,
Proceedings of Principles of Knowledge Representation and Reasoning 2006 (KR06).

Silvio Ghilardi, Carsten Lutz, Frank Wolter and Michael Zakharyaschev:
Conservative Extensions in Modal Logic,
Proceedings of Advances in Modal Logic 2006 (AiML)
Full version

B. Konev, R. Kontchakov, F. Wolter and M. Zakharyaschev:
Dynamic topological logics over spaces with continuous functions,
Proceedings of Advances in Modal Logic 2006 (AiML)

M. Sheremet, D. Tishkowsky, F. Wolter and M. Zakharyaschev:
From topology to metric: modal logic and quantification in metric spaces,
Proceedings of Advances in Modal Logic 2006 (AiML)

F. Wolter and M. Zakharyaschev:
Modal decision problems,
Chapter for Handbook of Modal logic, 2006

D. Gabelaia, A. Kurucz, F. Wolter and M. Zakharyaschev:
Non-primitive recursive decidability of products of modal logics with expanding domains,
Annals of Pure and Applied Logic (APAL), 2006

D. Walther, C. Lutz, F. Wolter and M. Wooldridge:
ATL satisfiability is indeed EXPTIME complete,
Journal of Logic and Computation, 2006

C. Lutz and F. Wolter:
Modal logics of topological relations,
Logical Methods in Computer Science (LMCS), 2006

B. Konev, R. Kontchakov, F. Wolter and M. Zakharyaschev:
On dynamic topological and metric logics (full version),
Studia Logica, 2006

W. Rautenberg, F. Wolter, M. Zakharyaschev:
Willem Blok and modal logic,
Special issue of Studia Logica in memory of Willem Blok.

C. Lutz, D. Walther and F. Wolter:
Quantitative temporal logics over the reals: PSPACE and below,
Journal of Information and Computation, 2006

Hongkai Liu, C. Lutz, M. Milicic, and F. Wolter:
DL Actions with GCIs: a Pragmatic Approach,
Proceedings of Description Logic Workshop 2006 (DL06).

U. Hustadt, D. Tishkovsky, F. Wolter and M. Zakharyaschev:
Automated reasoning about metric and topology,
Proceedings of Jelia-06

Hongkai Liu, C. Lutz, M. Milicic, and F. Wolter:
Reasoning about Actions using Description Logics with general TBoxes,
Proceedings of Jelia-06.

M. Sheremet, D. Tishkowsky, F. Wolter and M. Zakharyaschev:
Comparative similarity, tree automata, and Diophantine equations,
Proceedings of LPAR 2005

F. Baader, C. Lutz, M. Milicic, U. Sattler and F. Wolter:
Integrating description logics and action formalisms: first results,
Proceedings of AAAI-05 (Twentieth National Conference on Artificial Intelligence, Pittsburgh).

F. Wolter and M. Zakharyaschev:
A logic of metric and topology,
JSL (Journal of Symbolic Logic) 2005.

D. Gabelaia, A. Kurucz, F. Wolter and M. Zakharyaschev:
Products of transitive modal logics,
JSL (Journal of Symbolic Logic) 2005.

B. Konev, F. Wolter and M. Zakharyaschev:
Temporal Logics over transitive states,
Proceedings of CADE-05 (International Conference on Automated Deduction)

F. Baader, C. Lutz, M. Milicic, U. Sattler and F. Wolter:
Integrating description logics and action formalisms for reasoning about web services,
Proceedings of WSS-05 (Web Service Semantics-2005).

C. Lutz, D. Walther and F. Wolter:
Quantitative temporal logics: PSPACE and below,
Proceedings of Time-2005.

T. Litak and F. Wolter:
All finitely axiomatizable tense logics of linear time flows are coNP-complete,
Studia Logica 2005.

D. Gabelaia, R. Kontchakov, A. Kurucz, F. Wolter and M. Zakharyaschev:
Combining spatial and temporal logics: expressiveness vs. complexity,
JAIR (Journal of Artificial Intelligence Research) 2005.

A. Kurucz, F. Wolter and M. Zakharyaschev:
Modal Logics of metric spaces: open problems,
In Festschrift for Dov Gabbay 2005

M. Sheremet, D. Tishkowsky, F. Wolter and M. Zakharyaschev:
`Closer' representation and reasoning,
Proceedings of DL05 (Description Logic Workshop)

B. Konev, R. Kontchakov, F. Wolter and M. Zakharyaschev:
On dynamic topological and metric logics,
Proceedings of AiML (Advances in Modal Logic) 2004

C. Lutz and F. Wolter:
Modal logics of topological relations,
Proceedings of AiML (Advances in Modal Logic) 2004.

O. Kutz, C. Lutz, F. Wolter and M. Zakharyaschev:
E-connections of abstract description systems,
Journal of Artificial Intelligence, 2004.

S. Bauer, I. Hodkinson, F. Wolter und M. Zakharyaschev:
On non-local propositional and weak monodic quantified CTL* ,
Journal of Logic and Computation, 2004.

R. Kontchakov, C. Lutz, F. Wolter and M. Zakharyaschev:
Temporalizing Tableaux,
Studia Logica 2.

F. Baader, J. Hladik, C. Lutz, and F. Wolter
From Tableaux to Automata for Description Logics,
Fundamenta Informaticae 2003.

F. Baader, J. Hladik, C. Lutz, and F. Wolter
From Tableaux to Automata for Description Logics,
Proceedings of LPAR 2003.

O. Kutz, C. Lutz, F. Wolter and M. Zakharyaschev:
E-connections of description logics,
Proceedings of the Description Logic Workshop.

C. Lutz, F. Wolter and M. Zakharyaschev:
Reasoning about concepts and similaqrity,
Proceedings of the Description Logic Workshop.

I. Hodkinson, R. Kontchakov, A. Kuruzs, F. Wolter and M. Zakharyaschev:
On the computational complexity of decidable fragments of first-order linear temporal logics,
Accepted for TIME-ICTL.

C. Lutz, F. Wolter and M. Zakharyaschev:
A tableau algorithm for reasoning about concepts and similarity,
Accepted for Tableaux-2003.

D. Gabeliaia, R. Kontchakov, A. Kuruzs, F. Wolter and M. Zakharyaschev:
On the computational properties of spatio-temporal logics,
Accepted for FLAIRS.

F. Wolter and M. Zakharyaschev:
Reasoning about distances,
To appear in the Proceedings of IJCAI 03.

O. Kutz, H. Sturm, N. Suzuki, F. Wolter and M. Zakharyaschev:
Logics of Metric Spaces,
To appear in TOCL (Transactions on Computational Logic).

H. Sturm and F. Wolter:
A tableau calculus for temporal description logic: the expanding domain case ,
Journal of Logic and Computation, 12 (5), 2002, 809--838.

F. Wolter and M. Zakharyaschev:
Axiomatizing the monodic fragment of first-order temporal logic,
Annals of Pure and Applied Logic 118, 2002, 133 -- 145.

A. Artale, E. Franconi, F. Wolter und M. Zakharyaschev:
A temporal description logic for reasoning over conceptual schemas and queries,
Proceedings of JELIA-02 (Springer Lecture Notes).

S. Bauer, I. Hodkinson, F. Wolter und M. Zakharyaschev:
Non-local propositional and one-variable quantified CTL* ,
Proceedings of TIME-02 (IEEE-Press).

O. Kutz, H. Sturm, N. Suzuki, F. Wolter and M. Zakharyaschev:
Axiomatizing distance logics ,
Journal of Applied Non-classical Logic, 12:425--440, 2002.

I. Hodkinson, F. Wolter and M. Zakharyaschev:
Decidable and undecidable fragments of first-order branching temporal logics ,
Proceedings of LICS-2002 (IEEE-Press).

O. Kutz, F. Wolter and M. Zakharyaschev:
Connecting abstract description systems,
Proceedings of the 8th International Conference of Knowledge Representation and Reasoning (KR-2002), editors: D. Fensel, F. Giunchiglia, D. McGuinness and M. Williams, Morgan Kaufmann, 215 -- 227, 2002.

F. Baader, C. Lutz, H. Sturm and F. Wolter:
Fusions of Description Logics and Abstract Description Systems,
Journal of Artificial Intelligence Research (JAIR) 16, 2002, 1 - 58.

F. Wolter and M. Zakharyaschev:
Qualitative spatio-temporal representation and reasoning: a computational perspective,
In ``Exploring Artificial Intelligence in the New Millenium'', editors G. Lakemeyer and B. Nebel, Morgan Kaufmann, 2002.

B. Bennett, A. Cohn, F. Wolter and M. Zakharyaschev:
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning,
Applied Intelligence, 17(3) 2002, 239 -- 251.

C. Lutz, H. Sturm, F. Wolter and M. Zakharyaschev:
A tableau decision algorithm for modalized ALC with constant domains ,
Studia Logica, 72, 199 -- 232, 2002.

F. Wolter and M. Zakharyaschev:
Decidable fragments of modal predicate logics ,
Journal of Symbolic Logic 66 (3), 2001, 1415 - 1438.

I. Hodkinson, F. Wolter and M. Zakharyaschev:
Monodic fragments of first-order temporal logics: 2000 - 2001 A.D. ,
Proceedings of the International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-2001), editor: R. Nieuwenhuis and A. Voronkov, Lecture Notes on Computer Science 2250, Springer, 2001, 1 - 23.

O. Kutz, F. Wolter and M. Zakharyaschev:
A Note on Concepts and Distances,
Proceedings of DL2001, Stanford.

A. Artale, E. Franconi, M. Mosurovic, F. Wolter and M. Zakharyaschev:
The DLR(US) Temporal Description Logic,
Proceedings of DL2001, Stanford.

C. Lutz, U. Sattler and F. Wolter:
Description Logics and the Two-Variable Fragment,
Proceedings of DL2001, Stanford.

A. Artale, E. Franconi, M. Mosurovic, F. Wolter and M. Zakharyaschev:
Reasoning over Conceptual Schemas and Queries in Temporal Databases,
Proceedings of SEBD-2001.

C. Lutz, U. Sattler and F. Wolter:
Modal Logic and the two-variable fragment,
Proceedings of Computer Science Logic (CSL 2001), editor: L. Fribourg, Lecture Notes in Computer Science 2141, Springer, 2001, 262 - 276.

C. Lutz, H. Sturm, F. Wolter and M. Zakharyaschev:
A Tableau Calculus for Temporal Description Logic: The Constant Domain Case,
Proceedings of the International Joint Conference on Automated Reasoning (IJCAR-2001), editor: R. Gore, A. Leitsch and T. Nipkow, Lecture Notes in Computer Science 2083, Springer, 2001, 121 - 136.

H. Sturm and F. Wolter and M. Zakharyaschev:
Common knowledge and quantification ,
Economic Theory 19, 2002, 157 - 186.

H. Sturm and F. Wolter:
First-order expressivity for S5-models: modal vs. two-sorted languages,
Journal of Philosophical Logic 30, 2001, 571 - 591.

F. Wolter and M. Zakharyaschev:
Dynamic description logics ,
Advances in Modal Logic' 98, editor: K. Segerberg, M. de Rijke, H. Wansing and M. Zakharyaschev, CSLI Lecture Notes, 2001, 431 - 445

A. Chagrov and F. Wolter and M. Zakharyaschev:
Advanced Modal logic, in: Gabbay et al. (eds), Handbook of Philosophical Logic, 2001

F. Wolter:
The product of converse PDL and polymodal K ,
Journal of Logic and Computation 10, 2000, 223 - 251.

F. Wolter:
Fragments of Common knowledge Logics ,
Studia Logica 65, 2000, 249 - 271.

F. Baader, C. Lutz, H. Sturm and F. Wolter:
Fusions in Description Logics ,
Proceedings of DL2000.

H. Sturm, N. Suzuki, F. Wolter, and M. Zakharyaschev:
Semi-qualitative reasoning about distances: a preliminary report,
JELIA'2000, editor: G. Brewka and L. Pereira, Lecture Notes in Artificial Intelligence 1919, Springer, 2000, 37 - 56.

H. Sturm and F. Wolter and M. Zakharyaschev:
Monodic epistemic predicate logic ,
JELIA'2000, editor: G. Brewka and L. Pereira, Lecture Notes in Artificial Intelligence 1919, Springer, 2000, 329 - 344.

F. Wolter and M. Zakharyaschev:
Spatial reasoning in RCC-8 with Boolean region terms ,
Proceedings of the 14th European Conference on Artificial Intelligence (ECAI-2000), Berlin, editor: W. Horn, IOS Press, 2000, 244 - 248.

F. Wolter and M. Zakharyaschev:
Spatio-temporal representation and reasoning based on RCC-8 ,
Conference of Knowledge Representation and Reasoning (KR-2000), editor: A. Cohn, F. Giunchiglia and B. Selman, Morgan Kaufmann, 2000, 3 - 14

I. Hodkinson, F. Wolter and M. Zakharyaschev:
Fragments of first-order temporal logics ,
Annals of Pure and Applied Logic 106, 2000, 85 - 134.

F. Wolter:
The decision problem for combined modal logics ,
Habilitationsschrift (250 pages).

F. Wolter and M. Zakharyaschev:
Modal description logics: modalizing roles ,
Fundamenta Informaticae 39, 1999, 411 - 438.

F. Wolter and M. Zakharyaschev:
Multi-dimensional description logics ,
Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99), editor: T. Dean, Morgan Kaufmann, 1999, 104 - 109.

M. Kracht and F. Wolter:
Normal modal logics can simulate all others,,
Journal of Symbolic Logic 64, 1999, 99 - 138

F. Wolter and M. Zakharyaschev:
Temporalizing description logics ,
Frontiers of Combining Systems, editor: D. Gabbay and M. de Rijke, 379 - 402, Studies Press/Wiley, 1999.

F. Wolter and M. Zakharyaschev:
Intuitionistic Modal Logics.,
Logic and Foundations of Mathematics, editor: A. Cantini, E. Casari and P. Minari, Synthese Library, Kluwer, 1999, 227 - 238.

F. Wolter:
The algebraic face of minimality,
Logic and Logical Philosophy, editor: J. Perzanowski and A. Pietruszak, University M. Kopernika Torun, 1998, 225 - 240.

F. Wolter and M. Zakharyaschev:
On the decidability of description logics with modal operators.
Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), editor: G. Cohn, L. Schubert, S. Shapiro, Morgan Kaufmann, 1998, 512 - 523.

F. Wolter:
All finitely axiomatizable subframe logics containing the provability logic CSM are decidable,
Archive for Mathematical Logic, 37, 1998, 167 - 182.

Y. Suzuki and F. Wolter and M. Zakharyaschev:
Speaking about transitive frames in propositional languages,
Journal of Logic, Language, and Computation 7, 1998, 317 - 339.

F. Wolter and M. Zakharyaschev:
Intuitionistic Modal Logics as fragments of Classical Modal Logics. ,
Logic at Work, Essays in honour of Helena Rasiowa, editor: E. Orlowska, Springer--Verlag, 1998, 168 - 186.

F. Wolter:
On Logics with Coimplication,
Journal of Philosophical Logic 27, 1998, 353 - 387.

F. Wolter:
Fusions of Modal Logics revisited,
Advances in Modal Logic' 96, editor: M. Kracht, M.de Rijke, H. Wansing, and M. Zakharyaschev, CSLI Lecture Notes, 1998, 361 - 379.

F. Wolter:
The structure of lattices of subframe logics,
Annals of Pure and Applied Logic 86, 1997, 47 - 100

F. Wolter:
Completeness and decidability of tense logics closely related to logics above K4,
Journal of Symbolic Logic 62, 1997, 131 - 158

F. Wolter:
A note on atoms in polymodal algebras,
Algebra Universalis 37, 1997, 334 - 341

M. Kracht and F. Wolter:
Simulation and Transfer Results in Modal Logic - A Survey.
Studia Logica 59, 1997, 229 - 259

F. Wolter:
A note on the Interpolation Property in Tense logic,
Journal of Philosophical Logic 26, 1997, 545 - 551

F. Wolter and M. Zakharyaschev:
On the relation between intuitionistic and classical modal logics,
Algebra and Logic 36, 1997, 121 - 155

F. Wolter:
Superintuitionistic companions of classical modal logics,
Studia Logica 58, 1997, 229 - 259

F. Wolter:
Tense logic without tense operators,
Mathematical Logic Quarterly 42, 1996, 145 - 171.
Abstract: It is proved that any finitely axiomatizable temporal logic with the operators ALWAYS IN THE FUTURE and ALWAYS IN THE PAST and containing the left- and right-linearity axioms is decidable. An inspection of the proof should show that they are NP-complete.

F. Wolter:
A counterexample in tense logic,
Notre Dame Journal of Symbolic Logic 37, 1996, 167 - 173

F. Wolter:
Properties of Tense Logics,
Mathematical Logic Quarterly 42, 1996, 481 - 500

F. Wolter:
The finite model property in tense logic,
Journal of Symbolic Logic 60, 1995, 757 - 774.
Abstract: Suppose L is a modal logic determined by a class of transitive frames which is closed under cofinal subframes. Denote by LP the axiomatic extension of L by means of the past-time operator. It is proved that LP has the finite model property if and only if the class of frames validating L is first-order definable.