Konev, Boris

7 publications

IJCAI 2023 Reverse Engineering of Temporal Queries Mediated by LTL Ontologies Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev

AAAI 2016 A Model for Learning Description Logic Ontologies Based on Exact Learning Boris Konev, Ana Ozaki, Frank Wolter

IJCAI 2016 Conservative Rewritability of Description Logic TBoxes Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev

JAIR 2012 The Logical Difference for the Lightweight Description Logic EL Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter

AAAI 2011 Conjunctive Query Inseparability of OWL 2 QL TBoxes Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev

IJCAI 2009 Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies Boris Konev, Dirk Walther, Frank Wolter

IJCAI 2007 Tractable Temporal Reasoning Clare Dixon, Michael Fisher, Boris Konev