Description Logics as a core of a tutoring system