Francesco~M. Donini

Latest

• Deduction in concept languages: From subsumption to instance checking