An Algorithm for Calculating Minimal Unsatisfiability-Preserving Subsets of Ontology in DL-Lite