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.