Algebraic terminological representation

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.

Grantor dc:publisher.institution

Department of Mathematics and Applied Mathematics

Year dc:date.issued

1991

Author dc:creator

• Schmidt, Renate Anneliese

Advisor dc:contributor.advisor

• Brink, Chris

Language dc:language.iso

eng

Handle dc:identifier.uri

http://hdl.handle.net/11427/22147

OAI identifier oai:identifier

oai:open.uct.ac.za:11427/22147