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
description logics