Formalizing Diagnostics Using Description Logics -- Formalization and