Decidable Reasoning in Terminological Knowledge Representation Systems

Cite this paper

@article{Buchheit1993DecidableRI, title={Decidable Reasoning in Terminological Knowledge Representation Systems}, author={Martin Buchheit and Francesco M. Donini and Andrea Schaerf}, journal={J. Artif. Intell. Res.}, year={1993}, volume={1}, pages={109-138} }