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, Werner Nutt, Hans-Jürgen Profitlich

In: Kai von Luck , Christoph Peltason , Bernhard Nebel (Hrsg.). Proceedings of the International Workshop on Terminological Logics. International Workshop on Terminological Logics March 6-8 Dagstuhl Germany Seiten 120-128 DFKI Documents (D) 91-13 DFKI GmbH 1991.

Abstrakt

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

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