Space‐efficient data structures for the inference of subsumption and disjointness relations | Publicación