Publications of Carsten Lutz
2014
| and (eds.), KI 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings, Springer, 2014 |
[DOI] |
2012
| , and , 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 |
2011
| , and , 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 |
2010
| and , Deciding inseparability and conservative extensions in the description logic EL (2010), in: J. Symb. Comput., 45:2(194-228) |
[DOI] |
2009
| , and , Conjunctive Query Answering in the Description Logic EL Using a Relational Database System, in: IJCAI, pages 2070-2075, 2009 |
[URL] |
2008
| , , and , Conjunctive Query Answering for the Description Logic SHIQ (2008), in: J. Artif. Intell. Res. (JAIR), 31(157-204) |
[DOI] |
| , The Complexity of Conjunctive Query Answering in Expressive Description Logics, in: IJCAR, pages 179-193, 2008 |
[DOI] |
2007
| and , Data Complexity in the {\it EL} Family of Description Logics, in: LPAR, pages 333-347, 2007 |
[DOI] |
2005
| , and , Pushing the EL Envelope, in: IJCAI, pages 364-369, 2005 |
[URL] |