- Undecidability of first-order intuitionistic (and modal) logic
- DL-Lite with role inclusions R. Kontchakov and M. Zakharyaschev
- Dynamic topological logics over spaces with continuous functions
- Temporal Conceptual Modelling with DL-Lite A. Artale,1
- On dynamic topological and metric logics B. Konev 1 , R. Kontchakov 2 , F. Wolter 1 , and M. Zakharyaschev 2
- The Combined Approach to Query Answering in DL-Lite
- Topology, connectedness, and modal logic
- Topological logics with connectedness predicates
- The Combined Approach to Query Answering in DL-Lite R. Kontchakov,1
- Computational Complexity of Topological Logics Ian Pratt-Hartmann
- Topology, connectedness, and modal logic
- On the Computability of Region-Based Euclidean Logics
- Topological logics over Euclidean spaces R. Kontchakov,1
- On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces Roman Kontchakov1
- The Combined Approach to Ontology-Based Data Access R. Kontchakov,1
- On the computational complexity of spatial logics with connectedness constraints
- Can you tell the difference between DL-Lite ontologies? Roman Kontchakov,1
- Interpreting Topological Logics over Euclidean Spaces Roman Kontchakov and Michael Zakharyaschev
- Logic-based ontology comparison and module extraction, with an application to DL-Lite
- SPATIAL LOGICS WITH CONNECTEDNESS PREDICATES R. KONTCHAKOV, I. PRATT-HARTMANN, F. WOLTER, AND M. ZAKHARYASCHEV
- Reasoning over Extended ER Models , D. Calvanese1
- Query Answering in Expressive Variants of DL-Lite , D. Calvanese1
- On the Computational Complexity of SpatioTemporal Logics David Gabelaia, Roman Kontchakov, Agi Kurucz,
- The DL-Lite Family and Relatives
- Modularity in DL-Lite Roman Kontchakov1
- SPATIAL LOGIC+TEMPORAL LOGIC=? Roman Kontchakov
- DL-Lite with Temporalised Concepts, Rigid Axioms and Roles
- Minimal Module Extraction from DL-Lite Ontologies using QBF Solvers R. Kontchakov,1
- The DL-Lite Family and Relations Alessandro Artale artale@inf.unibz.it
- Checking DL-Lite modularity with QBF solvers R. Kontchakov1
- Topological Logics over Euclidean Spaces
- Minimal module extraction from DL-Lite ontologies
- The DL-Lite Family and Relations
- A NOTE ON THE THEORY OF COMPLETE MEREOTOPOLOGIES
- On the Computability of Euclidean Logics Yavor Nenov
- The Computational Complexity of Topological Logics Ian Pratt-Hartmann
- Survey of Spatial Logics Ian Pratt-Hartmann
- From Points to Regions (and back again) Ian Pratt-Hartmann
- Geometrical Logics Ian Pratt-Hartmann
- On the computational complexity of decidable fragments of firstorder linear temporal logics
- Modularity in DLLite Roman Kontchakov 1 , Frank Wolter 2 , and Michael Zakharyaschev 1
- DLLite in the light of firstorder logic A. Artale, D. Calvanese, R. Kontchakov and M. Zakharyaschev
- On dynamic topological and metric logics B. Konev 1 , R. Kontchakov 2 , F. Wolter 1 , and M. Zakharyaschev 2
- Complexity of Reasoning over Temporal Data Models , R. Kontchakov2
- Undecidability of rst-order intuitionistic and modal logics with two variables
- Combined FO Rewritability for Conjunctive Query Answering in DL-Lite
- Module Extraction via Query Inseparability in OWL 2 QL Boris Konev1
- DL-Lite with Attributes and Sub-Roles (Extended Abstract)
- Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies
- On (In)Tractability of OBDA with OWL 2 QL S. Kikot, R. Kontchakov, and M. Zakharyaschev
- Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
