Space-efficient data structures for the inference of subsumption and disjointness relations Artículo académico uri icon