@TECHREPORT{Schmidt91,
AUTHOR = {Schmidt, R. A.},
MONTH = {November},
YEAR = {1991},
TITLE = {Algebraic Terminological Representation},
TYPE = {{T}echnical {R}eport},
NUMBER = {MPI-I-91-216},
INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
ADDRESS = {Saarbr{\"u}cken, Germany},
NOTE = {Also available as
Thesis-Reprint TR 011, Department of Mathematics, University of Cape Town,
Cape Town, South Africa},
ABSTRACT = {This thesis investigates terminological representation languages, as
used in {\sc 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.
}
}