From OWL to DL-Lite through efficient ontology approximation