Carsten Lutz

Cited by

	All	Since 2018
Citations	14193	4276
h-index	62	32
i10-index	152	93

1100

550

275

825

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202345 36 56 113 103 180 202 297 546 679 699 806 783 842 918 1014 900 780 708 695 834 879 608 706 539

Public access

View all

59 articles

1 article

available

not available

Based on funding mandates

Co-authors

Frank WolterDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Franz BaaderProfessor of Theoretical Computer Science, TU DresdenVerified email at tu-dresden.de
Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
Michael ZakharyaschevBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Ian HorrocksProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Jean Christoph JungTU DortmundVerified email at tu-dortmund.de
Ralf MöllerProfessor of Computer Science, University of LübeckVerified email at uni-luebeck.de
Boris KonevProfessor of Computer Science, Liverpool UniversityVerified email at liverpool.ac.uk
Meghyn BienvenuCNRS ResearcherVerified email at labri.fr
David TomanProfessor of Computer Science, University of WaterlooVerified email at uwaterloo.ca
Balder ten CateAssociate ProfessorVerified email at uva.nl
Sebastian BrandtSchool of Computer Science, The University of ManchesterVerified email at cs.manchester.ac.uk
Volker HaarslevProfessor of Computer Science, Concordia University, Montreal, CanadaVerified email at cse.concordia.ca
Roman KontchakovReader, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Oliver KutzFree University of Bozen-BolzanoVerified email at unibz.it
Alessandro ArtaleAssociate Professor of Computer Science, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Birte GlimmProf. of Computer Science, University of UlmVerified email at uni-ulm.de
silvio ghilardiUniversità degli Studi di MilanoVerified email at unimi.it
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at cs.fau.de
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyVerified email at uni-bremen.de

Carsten Lutz

Professor of Computer Science, University of Leipzig

Verified email at informatik.uni-leipzig.de

Knowledge Representation Artificial Intelligence Logic in Computer Science Theoretical Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Pushing the EL envelope F Baader, S Brandt, C Lutz Technische Universität Dresden, 2005	1484	2005
OWL 2 Web Ontology Language: Profiles B Motik, BC Grau, I Horrocks, Z Wu, A Fokoue, C Lutz W3C recommendation 27, 61, 2009	815	2009
Introduction to description logic F Baader, I Horrocks, C Lutz, U Sattler Cambridge University Press, 2017	625	2017
Pushing the EL Envelope Further F Baader, S Brandt, C Lutz	357	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	327	2008
NEXPTIME-complete description logics with concrete domains C Lutz ACM Transactions on Computational Logic (TOCL) 5 (4), 669-705, 2004	326	2004
E-connections of abstract description systems O Kutz, C Lutz, F Wolter, M Zakharyaschev Artificial intelligence 156 (1), 1-73, 2004	323	2004
Temporal description logics: A survey C Lutz, F Wolter, M Zakharyaschev 2008 15th International Symposium on Temporal Representation and Reasoning, 3-14, 2008	297	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	294	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	275	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	273	2006
Conservative Extensions in Expressive Description Logics. C Lutz, D Walther, F Wolter IJCAI 7, 453-458, 2007	260	2007
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	238	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	202	2010
Complexity and succinctness of public announcement logic C Lutz Proceedings of the fifth international joint conference on Autonomous agents …, 2006	186	2006
The combined approach to ontology-based data access R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev AAAI Press, 2011	179	2011
Foundations for uniform interpolation and forgetting in expressive description logics C Lutz, F Wolter arXiv preprint arXiv:1104.2825, 2011	177	2011
Deciding inseparability and conservative extensions in the description logic EL C Lutz, F Wolter Journal of Symbolic Computation 45 (2), 194-228, 2010	175	2010
Updating description logic ABoxes H Liu, C Lutz, M Milicic, F Wolter KR 6, 46-56, 2006	166	2006

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors