Description Logics -- The modprof Theorem Prover -- A New System and Methodology for