Publication Notes

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 prim-itive syntactic types, called concepts and roles, which are usually inter-preted model-theoretically as sets and relations, respectively. I propose an algebraic rather than a model-theoretic approach. I show that termi-nological 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. Acknowledgements First and foremost I wish to thank my supervisor Prof. Chris Brink, who has been a constant source of inspiration, guidance and encouragement. For this I remain in his debt. I am grateful to the following people with whom we corresponded and who sen