Algebraic Terminological Representation

Schmidt, R. A. (November 1991)

Tech. Rep. MPI-I-91-216, MPI für Informatik, Saarbrücken, Germany. BiBTeX, DVI, PostScript

This thesis investigates terminological representation languages, as used in KL-ONE-type knowledge representation systems, from an algebraic point of view. Terminological representation languages are based on two primitive syntactic types, called concepts and roles, which are usually interpreted model-theoretically as sets and relations, respectively. I propose an algebraic rather than a model-theoretic approach. I show that terminological representations can be naturally accommodated in equational algebras of sets interacting with relations, and I use equational logic as a vehicle for reasoning about concepts interacting with roles.

Also available as Thesis-Reprint TR 011, Dept. of Mathematics, Univ. of Cape Town, South Africa.
Renate A. Schmidt
Home | Publications | FM Group | School | Man Univ

Last modified: 24 Jan 2000
Copyright © 1996,7,8 Renate A. Schmidt, School of Computer Science, Man Univ,