Publications of Frank Wolter
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 ,
Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012, CEUR-WS.org, 2012 | , and (eds.),
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 ,
|
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] |
2007
Intelligent Agents and Common Sense Reasoning, in: Handbook of Modal Logic, pages 991 - 1029, Elsevier, 2007 | and ,
2003
The Complexity of Temporal Logic Model Checking, in: {S}elected {P}apers from the 4th {W}orkshop on {A}dvances in {M}odal {L}ogics ({AiML}'02), pages 393-436, King's College Publication, 2003 | ,
|