Carsten Lutz

Cited by

	All	Since 2018
Citations	13784	3892
h-index	60	32
i10-index	150	88

1000

500

250

750

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202347 38 57 114 105 179 202 296 545 677 699 800 795 840 917 993 898 778 705 696 820 877 612 678 199

Public access

View all

56 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
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at cs.fau.de
silvio ghilardiUniversità degli Studi di MilanoVerified email at unimi.it
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	1459	2005
OWL 2 Web Ontology Language: Profiles B Motik, BC Grau, I Horrocks, Z Wu, A Fokoue, C Lutz W3C recommendation 27, 61, 2009	741	2009
Introduction to description logic F Baader, I Horrocks, C Lutz, U Sattler Cambridge University Press, 2017	546	2017
Pushing the EL Envelope Further F Baader, S Brandt, C Lutz	351	2008
E-connections of abstract description systems O Kutz, C Lutz, F Wolter, M Zakharyaschev Artificial intelligence 156 (1), 1-73, 2004	322	2004
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	319	2008
NEXPTIME-complete description logics with concrete domains C Lutz ACM Transactions on Computational Logic (TOCL) 5 (4), 669-705, 2004	319	2004
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	293	2006
Temporal description logics: A survey C Lutz, F Wolter, M Zakharyaschev 2008 15th International Symposium on Temporal Representation and Reasoning, 3-14, 2008	286	2008
CEL — A Polynomial-Time Reasoner for Life Science Ontologies F Baader, C Lutz, B Suntisrivaraporn Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006	270	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	269	2009
Conservative Extensions in Expressive Description Logics. C Lutz, D Walther, F Wolter IJCAI 7, 453-458, 2007	256	2007
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
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	229	2014
The Combined Approach to Query Answering in DL-Lite. R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev KR 10, 247-257, 2010	200	2010
Complexity and succinctness of public announcement logic C Lutz Proceedings of the fifth international joint conference on Autonomous agents …, 2006	185	2006
The combined approach to ontology-based data access R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev AAAI Press, 2011	176	2011
Deciding inseparability and conservative extensions in the description logic EL C Lutz, F Wolter Journal of Symbolic Computation 45 (2), 194-228, 2010	173	2010
Foundations for uniform interpolation and forgetting in expressive description logics C Lutz, F Wolter arXiv preprint arXiv:1104.2825, 2011	171	2011
Updating description logic ABoxes H Liu, C Lutz, M Milicic, F Wolter KR 6, 46-56, 2006	164	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