Publications of Inanç Seylan
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 ,
Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity, in: Description Logics, 2012 | , and ,
2011
Query Answering with DBoxes is Hard (2011), in: Electr. Notes Theor. Comput. Sci., 278(71-84) | , and ,
2009
Effective Query Rewriting with Ontologies over DBoxes, in: IJCAI, pages 923-929, 2009 | , and ,
[URL] |