Converting Mikrokosmos Frames into Description Logics