- Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics
- Forgetting and uniform interpolation in large-scale description logic terminologies
- Spatiotemporal representation and reasoning based on RCC8
- ATL Satis ability is Indeed ExpTime-Complete Dirk Walther 1 Carsten Lutz 2 Frank Wolter 1 Michael Wooldridge 1
- Reasoning over Conceptual Schemas and Queries in Temporal Databases
- Combining description and similarity logics M. Sheremet, 1 D. Tishkovsky, 2 F. Wolter, 2 and M. Zakharyaschev 1
- The Finite Model Property in Tense Logic Frank Wolter
- Modal description logics: modalizing roles Frank Wolter and Michael Zakharyaschev
- On logics with coimplication Frank Wolter
- All finitely axiomatizable subframe logics containing the provability logic CSM 0 are decidable
- Conservative extensions in Expressive Description Carsten Lutz, Dirk Walther, Frank Wolter
- Updating Description Logic ABoxes Hongkai Liu1
- A counterexample in tense logic Frank Wolter
- Automated reasoning about metric and topology Ullrich Hustadt 1 , Dmitry Tishkovsky 1 , Frank Wolter 1 , and Michael
- Axiomatizing distance logics Oliver Kutz 1 , Holger Sturm 2 , Nobu-Yuki Suzuki 3 ,
- A logic-based framework for ontology comparison and module extraction Roman Kontchakova,
- Fusions of Description Logics and Abstract Description Franz Baader 1 Carsten Lutz 1 Holger Sturm 2 Frank Wolter 3
- Modal Logic and the twovariable fragment Carsten Lutz 1 , Ulrike Sattler 1 , and Frank Wolter 2
- Semiqualitative reasoning about distances: a preliminary report
- Temporal and Dynamic Logic Frank Wolter and Michael Wooldridge
- Spatial representation and reasoning in RCC8 with Boolean region terms
- Reasoning about concepts and similarity Carsten Lutz, Frank Wolter and Michael Zakharyaschev
- A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries
- Properties of tense logics Frank Wolter
- Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics
- The decision problem for combined (modal) logics Frank Wolter
- The product of converse PDL and polymodal K Frank Wolter
- A logic for concepts and similarity M. Sheremet, 1 D. Tishkovsky, 2 F. Wolter, 2 and M. Zakharyaschev 1
- A Note on Concepts and Distances Oliver Kutz, Frank Wolter and Michael Zakharyaschev
- A tableau decision algorithm for modalized ALC with constant domains
- LTCS--Report Aachen University of Technology
- The DLR US Temporal Description Logic Alessandro Artale
- Decomposing Description Logic Ontologies Boris Konev
- Query Answering over DL ABoxes: How to Pick the Relevant Symbols
- Firstorder expressivity for S5models: modal vs. twosorted languages
- A logic for metric and topology Frank Wolter and Michael Zakharyaschev
- Temporalizing description logics Frank Wolter and Michael Zakharyaschev \Lambda
- Multidimensional description logics Frank Wolter
- Satisfiability problem in description logics with modal operators Frank Wolter
- Dynamic description logics Frank Wolter and Michael Zakharyaschev \Lambda
- Conservative Extensions in Expressive Description Logics Content Areas: Knowledge Representation: Description Logics, Ontologies
- Combined FO Rewritability for Conjunctive Query Answering in DL-Lite
- Modularity in DL-Lite Roman Kontchakov1
- M. ZAKHARYASCHEV, F. WOLTER, AND A. CHAGROV ADVANCED MODAL LOGIC
- First order common knowledge logics Frank Wolter
- Description Logics and the TwoVariable Carsten Lutz y , Ulrike Sattler y , and Frank Wolter z
- A tableau algorithm for reasoning about concepts and similarity
- Decidable and undecidable fragments of firstorder branching temporal logics
- Journal of Artificial Intelligence Research 1 (2004) 115 Submitted July 17, 2004; published 9/91 Combining spatial and temporal logics
- From topology to metric: modal logic and quanti cation in metric spaces
- Connecting abstract description systems Oliver Kutz, Frank Wolter, and Michael Zakharyaschev.
- Reasoning about distances Frank Wolter and Michael Zakharyaschev
- E-connections of abstract description systems Oliver Kutz 1 , Carsten Lutz 2 , Frank Wolter 1 and Michael Zakharyaschev 3
- Quantitative Temporal Logics over the Reals: PSpace and below
- Conjunctive Query Answering in the Description Logic EL using a Relational Database System
- Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning
- DL Actions with GCIs: a Pragmatic Approach H. Liu 1 , C. Lutz 1 , M. Mili ci c 1 , F. Wolter 2
- A tableau calculus for temporal description logic: the expanding domain case.
- Fusions of Modal Logics Revisited Frank Wolter
- Did I Damage my Ontology? A Case for Conservative Extensions in Description Logic
- Undecidability of the unification and admissibility problems for modal and description logics
- CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL
- Monodic epistemic predicate logic Holger Sturm, Frank Wolter, and Michael Zakharyaschev
- On nonlocal propositional and weak monodic quantified CT L Sebastian Bauer, 1 Ian Hodkinson, 2 Frank Wolter, 3 and Michael Zakharyaschev 4
- Decidable fragments of firstorder temporal logics Ian Hodkinson, Frank Wolter, and Michael Zakharyaschev
- Conservative extensions in modal logic Silvio Ghilardi Carsten Lutz Frank Wolter Michael Zakharyaschev
- EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers
- Comparative similarity, tree automata, and Diophantine equations
- From Tableaux to Automata for Description Logics
- Axiomatizing the monodic fragment of firstorder temporal logic
- Logics of Metric Spaces Oliver Kutz, 1 Holger Sturm, 2 NobuYuki Suzuki, 3
- Qualitative spatiotemporal representation and reasoning: a computational perspective
- Islands of tractability for relational constraints: towards dichotomy results for the description
- Enriching EL-Concepts with Greatest Fixpoints Carsten Lutz1 and Robert Piro2 and Frank Wolter 2
- Query and Predicate Emptiness in Description Logics Franz Baader
- Journal of Artificial Intelligence Research ? (2009) ?-? Submitted ?/??; published ?/?? The Complexity of Circumscription in Description Logic
- Conjunctive Query Answering in EL using a Database System
- Semantic Modularity and Module Extraction in Description Logics
- The logical difference problem for description logic terminologies
- Can you Tell the Difference between DL-Lite Ontologies? Roman Kontchakov
- Conservative Extensions in the Lightweight Description Logic EL
- Dynamic topological logics over spaces with continuous functions
- Reasoning about Actions using Description Logics with general TBoxes
- Integrating Description Logics and Action Formalisms: First Results Tracking No. 998
- A modal logic framework for reasoning about comparative distances and topology
- On nonlocal propositional and onevariable quantified CTL Sebastian Bauer, 1 Ian Hodkinson, 2 Frank Wolter, 3 and Michael Zakharyaschev 4
- On the computational complexity of decidable fragments of rst-order linear temporal logics
- Products of `transitive' modal logics D. Gabelaia , A. Kurucz , F. Wolter y and M. Zakharyaschev
- SPATIAL LOGICS WITH CONNECTEDNESS PREDICATES R. KONTCHAKOV, I. PRATT-HARTMANN, F. WOLTER, AND M. ZAKHARYASCHEV
- Description Logics with Circumscription Piero Bonatti
- Completeness and decidability of tense logics closely related to logics above K4
- Tadeusz Litak and Frank Wolter All nitely axiomatizable
- The algebraic face of minimality Frank Wolter
- The Structure of Lattices of Subframe Logics Frank Wolter \Lambda
- Speaking about transitive frames in propositional Yasuhito Suzuki \Lambda , Frank Wolter y , and Michael Zakharyaschev z
- Normal monomodal logics can simulate all others Marcus Kracht
- Common knowledge and quantification Holger Sturm, Frank Wolter, and Michael Zakharyaschev
- Modal logics for metric spaces: open problems Agi Kurucz 1 , Frank Wolter 2 , and Michael Zakharyaschev 1
- Did I Damage my Ontology? A Case for Conservative Extensions in Description Logics
- Fundamenta Informaticae XX (2003) 1--33 1 From Tableaux to Automata for
- Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability Carsten Lutz1
- Intuitionistic Modal Logic Frank Wolter and Michael Zakharyaschev
- Quantitative Temporal Logics: PSpace and below Carsten Lutz 1 , Dirk Walther 2 , and Frank Wolter 2
- Accepted for publication in Logical Methods in Computer Science MODAL LOGICS OF TOPOLOGICAL RELATIONS
- Tense logic without tense operators Frank Wolter
- Intuitionistic Modal Logics as Fragments of Classical Bimodal Logics
- Econnections of Description Logics Oliver Kutz
- W. Rautenberg M. Zakharyaschev
- Modal Logics of Topological Relations Carsten Lutz
- Dresden University of Technology Institute for Theoretical Computer Science
- Foundations of Instance Level Updates in Expressive Description Logics
- Conservativity of Boolean algebras with operators over semilattices with operators
- Journal of Artificial Intelligence Research (-) Submitted 11/11; published -The Logical Diff for the Lightweight Description Logic EL
- Non-Uniform Data Complexity of Query Answering in Description Logics Carsten Lutz
- Query Containment in Description Logics Reconsidered Meghyn Bienvenu
- Logics of Time and Action Frank Wolter and Michael Wooldridge
- Non-Uniform Data Complexity of Query Answering in Description Logics Carsten Lutz
