Relacionado Fuentes Sepúlveda, José Sebastián Miembro de la facultad Space-efficient data structures for the inference of subsumption and disjointness relations Artículo académico