Decidable reasoning in terminological knowledge representation systems

Martin Buchheit, Francesco M. Donini, Andrea Schaerf
January 1993
PDF Cite
Type
Journal article
Publication
Journal of Artificial Intelligence Research

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

Description Logics