Many-dimensional modal logics: theory and applications DM Gabbay, A Kurucz, F Wolter, M Zakharyaschev North Holland, 2003 | 944* | 2003 |
Handbook of modal logic J van Benthem, P Blackburn, F Wolter Elsevier, 2007 | 798* | 2007 |
E-connections of abstract description systems O Kutz, C Lutz, F Wolter, M Zakharyaschev Artificial intelligence 156 (1), 1-73, 2004 | 327 | 2004 |
Decidable fragments of first-order temporal logics I Hodkinson, F Wolter, M Zakharyaschev Annals of Pure and Applied logic 106 (1-3), 85-134, 2000 | 311 | 2000 |
Temporal description logics: A survey C Lutz, F Wolter, M Zakharyaschev 2008 15th International Symposium on Temporal Representation and Reasoning, 3-14, 2008 | 308 | 2008 |
Did I damage my ontology S Ghilardi, C Lutz, F Wolter Proc. of KR2006, 187-197, 2006 | 299 | 2006 |
Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. C Lutz, D Toman, F Wolter IJCAI 9, 2070-2075, 2009 | 278 | 2009 |
Conservative Extensions in Expressive Description Logics. C Lutz, D Walther, F Wolter IJCAI 7, 453-458, 2007 | 260 | 2007 |
Properties of independently axiomatizable bimodal logics M Kracht, F Wolter The Journal of Symbolic Logic 56 (4), 1469-1485, 1991 | 253 | 1991 |
Ontology-based data access: A study through disjunctive datalog, CSP, and MMSNP M Bienvenu, BT Cate, C Lutz, F Wolter ACM Transactions on Database Systems (TODS) 39 (4), 1-44, 2014 | 248 | 2014 |
Multi-dimensional modal logic as a framework for spatio-temporal reasoning B Bennett, AG Cohn, F Wolter, M Zakharyaschev Applied Intelligence 17, 239-251, 2002 | 231 | 2002 |
Integrating Description Logics and Action Formalisms: First Results. F Baader, C Lutz, M Milicic, U Sattler, F Wolter AAAI 5, 572-577, 2005 | 230 | 2005 |
Spatio-temporal representation and reasoning based on RCC-8. F Wolter, M Zakharyaschev KR, 3-14, 2000 | 226 | 2000 |
The combined approach to query answering in DL-Lite R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev Twelfth International Conference on the Principles of Knowledge …, 2010 | 206 | 2010 |
The combined approach to ontology-based data access R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev AAAI Press, 2011 | 183 | 2011 |
Foundations for uniform interpolation and forgetting in expressive description logics C Lutz, F Wolter arXiv preprint arXiv:1104.2825, 2011 | 182 | 2011 |
Deciding inseparability and conservative extensions in the description logic EL C Lutz, F Wolter Journal of Symbolic Computation 45 (2), 194-228, 2010 | 180 | 2010 |
Temporalizing Description Logics. F Wolter, M Zakharyaschev FroCoS, 379-402, 1998 | 172 | 1998 |
Updating description logic ABoxes H Liu, C Lutz, M Milicic, F Wolter KR 6, 46-56, 2006 | 163 | 2006 |
The complexity of circumscription in DLs PA Bonatti, C Lutz, F Wolter Journal of Artificial Intelligence Research 35, 717-773, 2009 | 161 | 2009 |