Terminological Knowledge Representation: A Proposal for a Terminological Logic

Abstract

This paper contains a proposal for a terminological logic. The formalisms for representing knowledge as well as the needed inferences are described.

Extracted Key Phrases

Statistics

051015'93'96'99'02'05'08'11'14'17
Citations per Year

92 Citations

Semantic Scholar estimates that this publication has 92 citations based on the available data.

See our FAQ for additional information.

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} }