Contents Formalizing Diagnostics Using Description Logics Formalization and Properties