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