Terminological Knowledge Representation: A Proposal for a Terminological Logic

Cite this paper

@inproceedings{Baader1991TerminologicalKR, title={Terminological Knowledge Representation: A Proposal for a Terminological Logic}, author={Franz Baader and Hans-J{\"{u}rgen B{\"{u}rckert and Jochen Heinsohn and Bernhard Hollunder and J{\"{u}rgen M{\"{u}ller and Bernhard Nebel and Werner Nutt and Hans-J{\"{u}rgen Profitlich}, booktitle={Description Logics}, year={1991} }