A Terminological Knowledge Representation System with Complete Inference Algorithms

Cite this paper

@inproceedings{Baader1991ATK, title={A Terminological Knowledge Representation System with Complete Inference Algorithms}, author={Franz Baader and Bernhard Hollunder}, booktitle={PDK}, year={1991} }