Description Logics and their Applications