Pushing the EL envelope F Baader Deutsche Nationalbibliothek, 2005 | 1534 | 2005 |
OWL 2 Web Ontology Language: Profiles B Motik, BC Grau, I Horrocks, Z Wu, A Fokoue, C Lutz W3C recommendation 27, 61, 2009 | 833 | 2009 |
Introduction to description logic F Baader, I Horrocks, C Lutz, U Sattler Cambridge University Press, 2017 | 695 | 2017 |
Pushing the EL Envelope Further F Baader, S Brandt, C Lutz | 362 | 2008 |
Conjunctive query answering for the description logic SHIQ B Glimm, I Horrocks, C Lutz, U Sattler Journal of Artificial Intelligence Research 31, 157-204, 2008 | 328 | 2008 |
E-connections of abstract description systems O Kutz, C Lutz, F Wolter, M Zakharyaschev Artificial intelligence 156 (1), 1-73, 2004 | 327 | 2004 |
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? A Case for Conservative Extensions in Description Logics S Ghilardi, C Lutz, F Wolter Proc. of KR2006, 187-197, 2006 | 297 | 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 |
CEL—a polynomial-time reasoner for life science ontologies F Baader, C Lutz, B Suntisrivaraporn International Joint Conference on Automated Reasoning, 287-291, 2006 | 274 | 2006 |
Conservative Extensions in Expressive Description Logics. C Lutz, D Walther, F Wolter IJCAI 7, 453-458, 2007 | 260 | 2007 |
Description logics with concrete domains-a survey C Lutz | 256 | 1998 |
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 |
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 |
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 |
Complexity and succinctness of public announcement logic C Lutz Proceedings of the fifth international joint conference on Autonomous agents …, 2006 | 190 | 2006 |
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 |
The complexity of conjunctive query answering in expressive description logics C Lutz International Joint Conference on Automated Reasoning, 179-193, 2008 | 165 | 2008 |