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; 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.