Explanation and diagnosis services for unsatisfiability and inconsistency in description logics