Deduction in concept languages: From subsumption to instance checking