Carsten Lutz

Cited by

	All	Since 2017
Citations	12991	3946
h-index	60	34
i10-index	148	86

960

480

240

720

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202246 36 54 111 99 171 199 312 552 658 683 814 769 827 891 958 879 786 664 673 805 890 652 244

Public access

View all

66 articles

0 articles

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 JungUniversity of HildesheimVerified email at uni-bremen.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
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
Balder ten CateCoordinating Senior Researcher, University of AmsterdamVerified email at uva.nl
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 IJCAI 5, 364-369, 2005	1394	2005
OWL 2 Web Ontology Language: Profiles B Motik, BC Grau, I Horrocks, Z Wu, A Fokoue, C Lutz W3C recommendation 27, 61, 2009	620	2009
Introduction to description logic F Baader, I Horrocks, C Lutz, U Sattler Cambridge University Press, 2017	431	2017
Pushing the EL Envelope Further F Baader, S Brandt, C Lutz	336	2008
E-connections of abstract description systems O Kutz, C Lutz, F Wolter, M Zakharyaschev Artificial intelligence 156 (1), 1-73, 2004	317	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	309	2008
NEXPTIME-complete description logics with concrete domains C Lutz ACM Transactions on Computational Logic (TOCL) 5 (4), 669-705, 2004	308	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	280	2006
Temporal description logics: A survey C Lutz, F Wolter, M Zakharyaschev 2008 15th International Symposium on Temporal Representation and Reasoning, 3-14, 2008	270	2008
CEL — A Polynomial-Time Reasoner for Life Science Ontologies F Baader, C Lutz, B Suntisrivaraporn International Joint Conference on Automated Reasoning, 287-291, 2006	263	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	254	2009
Conservative Extensions in Expressive Description Logics. C Lutz, D Walther, F Wolter IJCAI 7, 453-458, 2007	244	2007
Integrating Description Logics and Action Formalisms: First Results. F Baader, C Lutz, M Milicic, U Sattler, F Wolter AAAI 5, 572-577, 2005	218	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	210	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	193	2010
The combined approach to ontology-based data access R Kontchakov, C Lutz, D Toman, F Wolter, M Zakharyaschev Twenty-second international joint conference on artificial intelligence, 2011	166	2011
Complexity and succinctness of public announcement logic C Lutz Proceedings of the fifth international joint conference on Autonomous agents …, 2006	165	2006
Deciding inseparability and conservative extensions in the description logic EL C Lutz, F Wolter Journal of Symbolic Computation 45 (2), 194-228, 2010	160	2010
Updating Description Logic ABoxes. H Liu, C Lutz, M Milicic, F Wolter KR 6, 46-56, 2006	158	2006
Foundations for uniform interpolation and forgetting in expressive description logics C Lutz, F Wolter Twenty-Second International Joint Conference on Artificial Intelligence, 2011	154	2011

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 this author

Cited by

Co-authors