Publikation

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) 90-04 1990.

Abstrakt

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

TM-90-04.pdf (pdf, 7 MB)

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence