Carsten Lutz
Carsten Lutz
Professor of Computer Science, University of Bremen
Verified email at uni-bremen.de
TitleCited byYear
Pushing the EL envelope
F Baader, S Brandt, C Lutz
IJCAI 5, 364-369, 2005
11442005
OWL 2 Web Ontology Language: Profiles
B Motik, BC Grau, I Horrocks, Z Wu, A Fokoue, C Lutz
W3C recommendation 27, 61, 2009
5982009
E-connections of abstract description systems
O Kutz, C Lutz, F Wolter, M Zakharyaschev
Artificial intelligence 156 (1), 1-73, 2004
2932004
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
2892008
Pushing the EL Envelope Further
F Baader, S Brandt, C Lutz
2772008
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
2442006
CEL — A Polynomial-Time Reasoner for Life Science Ontologies
F Baader, C Lutz, B Suntisrivaraporn
International Joint Conference on Automated Reasoning, 287-291, 2006
2262006
Conservative Extensions in Expressive Description Logics.
C Lutz, D Walther, F Wolter
IJCAI 7, 453-458, 2007
2212007
Conjunctive query answering in the description logic EL using a relational database system
C Lutz, D Toman, F Wolter
Twenty-first international joint conference on artificial intelligence, 2009
2192009
Temporal description logics: A survey
C Lutz, F Wolter, M Zakharyaschev
2008 15th International Symposium on Temporal Representation and Reasoning, 3-14, 2008
2082008
Description logics with concrete domains-a survey
C Lutz
2022003
Integrating Description Logics and Action Formalisms: First Results.
F Baader, C Lutz, M Milicic, U Sattler, F Wolter
AAAI 5, 572-577, 2005
1982005
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
1562010
Updating Description Logic ABoxes.
H Liu, C Lutz, M Milicic, F Wolter
KR, 46-56, 2006
1492006
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), 33, 2014
1382014
Complexity and succinctness of public announcement logic
C Lutz
Proceedings of the fifth international joint conference on Autonomous agents …, 2006
1362006
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
1352011
Deciding inseparability and conservative extensions in the description logic EL
C Lutz, F Wolter
Journal of Symbolic Computation 45 (2), 194-228, 2010
1282010
The complexity of conjunctive query answering in expressive description logics
C Lutz
International Joint Conference on Automated Reasoning, 179-193, 2008
1252008
Description Logics with Circumscription.
PA Bonatti, C Lutz, F Wolter
KR, 400-410, 2006
1252006
The system can't perform the operation now. Try again later.
Articles 1–20