ABox approximation, complexity, Description Logic, Description Logic EL, Horn-DL, Most specific concept, ontology repair, Optimal ABox Repair.
