Extracting a justification for OWL ontologies by critical axioms