Publication

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 (editor). Proceedings of the International Workshop on Terminological Logics. International Workshop on Terminological Logics March 6-8 Dagstuhl Germany Pages 120-128 DFKI Documents (D) 91-13 DFKI GmbH 1991.

Abstract

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

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