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


Vol-496/paper-7⫷Vol-496/paper-8⫸Vol-496/paper-9

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