1 paper
Stéphane Demri, Tianwen Gu
Decidability or complexity issues about the consistency problem for description logics with concrete domains have already been analysed with tableaux-based or type elimination meth…