Logic-based ontology comparison and module extraction, with an application to DL-Lite

Roman Kontchakov, Frank Wolter, Michael Zakharyaschev. Logic-based ontology comparison and module extraction, with an application to DL-Lite. Artificial Intelligence, 174(15):1093-1141, 2010. [doi]

Abstract

Abstract is missing.