Relacionado Gatica Romero, Diego Andrés Miembro de la facultad Space-efficient data structures for the inference of subsumption and disjointness relations Artículo académico