Skip to main content Skip to main navigation

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 (Hrsg.). Proceedings of the International Workshop on Terminological Logics. International Workshop on Terminological Logics, March 6-8, Dagstuhl, Germany, Pages 120-128, DFKI Documents (D), Vol. 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.