The top documents tagged [description logics subsumption]