Deduction in concept languages: From subsumption to instance checking

Francesco~M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf
January 1994
PDF Cite
Type
Journal article
Publication
Journal of Logic and Computation
description logics