Search Results for author: Michel Ludwig

Found 1 papers, 0 papers with code

The Logical Difference for the Lightweight Description Logic EL

no code implementations23 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.