Conservative Rewritability of Description Logic TBoxes.
Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
Browse the full IJCAI paper archive.
Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
Browse the full IJCAI paper archive.