Converting Mikrokosmos frames into description logics | Publicación