Vol-495⫷ Vol-496 ⫸Vol-497
urn:nbn:de:0074-496-0


Vol-496/paper-7⫷Vol-496/paper-8⫸Vol-496/paper-9
Carsten LutzFrank WolterDirk Walther 0002Boris Konev

CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL