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 · 1990
This paper contains a proposal for a terminological logic. The formalisms for representing knowledge as well as the needed inferences are described. 1 Introduction An important aspect of intelligence is the use of existing knowledge. In order to realize this in AI-Systems we need both adequate methods to represent knowledge and effective procedures to retrieve and reuse the needed knowledge. One of the basic mechanisms of human knowledge representation and processing is the division of the world into classes or concepts ("find the right pigeonhole") which usually are given with a hierarchical structure. Let us consider some knowledge base about families and relationships. We have to deal with persons which are of sex male or female. We have parents, mothers, fathers etc. A verbal description of this knowledge might be as follows: ffl Persons are of sex Male or Female. ffl Woman is a Person with sex Female. ffl Man is a Person with sex Male. ffl Parents are defined as Persons which...