Bericht
Terminological Knowledge Representation: A Proposal for a Terminological Logic
Franz Baader; Hans-Jürgen Bürckert; Jochen Heinsohn; Bernhard Hollunder; Jürgen Müller; Bernhard Nebel; Werner Nutt; Hans-Jürgen Profitlich
DFKI GmbH, DFKI Technical Memos (TM), Vol. 90-04, 1990.
Abstract
This paper contains a proposal for a terminological logic. The formalisms for representing knowledge as well as the needed inferences are described.