Publications of Carsten Lutz
2014
KI 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings, Springer, 2014 | and (eds.),
[DOI] |
2012
An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic $mathcal{EL}$ (With Appendix), in: Proceedings of the 13nd International Joint Conference on Principles of Knowledge Representation and Reasoning ({KR2012}), 2012 | , and ,
Deciding FO-Rewritability in EL, in: Description Logics, 2012 | , and ,
Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity, in: Description Logics, 2012 | , and ,
Non-Uniform Data Complexity of Query Answering in Description Logics (With Appendix), in: Proceedings of the 13nd International Joint Conference on Principles of Knowledge Representation and Reasoning ({KR2012}), 2012 | and ,
Query Containment in Description Logics Reconsidered (With Appendix), in: Proceedings of the 13nd International Joint Conference on Principles of Knowledge Representation and Reasoning ({KR2012}), 2012 | , and ,
2011
Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability, in: IJCAI, pages 983-988, 2011 | , and ,
|
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics, in: IJCAI, pages 989-995, 2011 | and ,
|
Non-Uniform Data Complexity of Query Answering in Description Logics, in: Description Logics, 2011 | and ,
|
Status QIO: An Update, in: Description Logics, 2011 | , and ,
|
The Combined Approach to Ontology-Based Data Access, in: IJCAI, pages 2656-2661, 2011 | , , , and ,
2010
Deciding inseparability and conservative extensions in the description logic EL (2010), in: J. Symb. Comput., 45:2(194-228) | and ,
[DOI] |
2009
Conjunctive Query Answering in the Description Logic EL Using a Relational Database System, in: IJCAI, pages 2070-2075, 2009 | , and ,
[URL] |
2008
Conjunctive Query Answering for the Description Logic SHIQ (2008), in: J. Artif. Intell. Res. (JAIR), 31(157-204) | , , and ,
[DOI] |
The Complexity of Conjunctive Query Answering in Expressive Description Logics, in: IJCAR, pages 179-193, 2008 | ,
[DOI] |
2007
Data Complexity in the {\it EL} Family of Description Logics, in: LPAR, pages 333-347, 2007 | and ,
[DOI] |
2005
Pushing the EL Envelope, in: IJCAI, pages 364-369, 2005 | , and ,
[URL] |