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

Add the full text or supplementary notes for the publication here using Markdown formatting.

Description Logics