no code implementations • 2 May 2023 • Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
In reverse engineering of database queries, we aim to construct a query from a given set of answers and non-answers; it can then be used to explore the data further or as an explanation of the answers and non-answers.
no code implementations • 20 Apr 2018 • Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
The question whether an ontology can safely be replaced by another, possibly simpler, one is fundamental for many ontology engineering and maintenance tasks.
no code implementations • 20 Sep 2017 • Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
We study the problem of learning description logic (DL) ontologies in Angluin et al.'s framework of exact learning via queries.
no code implementations • 23 Jan 2014 • Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter
In all three cases, we present polynomial-time algorithms that decide whether two terminologies give the same answers to queries over a given vocabulary and compute a succinct representation of the difference if it is non- empty.