Deduction in concept languages: From subsumption to instance checking

Publication
Journal of Logic and Computation