Michael Grüninger, Torsten Hahmann, Megan Katsumi. Exploiting Modularity for Ontology Verification. In Oliver Kutz, Thomas Schneider 0002, editors, Modular Ontologies - Proceedings of the Fifth International Workshop, WoMO 2011, Ljubljana, Slovenia, August 2011. Volume 230 of Frontiers in Artificial Intelligence and Applications, pages 55-62, IOS Press, 2011. [doi]
Abstract is missing.