Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter. CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL. In Kendall Clark, Peter F. Patel-Schneider, editors, Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, Washington, DC, USA, 1-2 April 2008. Volume 496 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
Abstract is missing.