Algebraic terminological representation

Master Thesis

1991

Permanent link to this Item
http://hdl.handle.net/11427/22147
Files
thesis_sci_1991_schmidt_renate_anneliese.pdf (2.62 MB)
Authors
Schmidt, Renate Anneliese
Supervisors
Brink, Chris
Journal Title
Link to Journal
Journal ISSN
Volume Title
Publisher
Publisher

University of Cape Town

Department
Department of Mathematics and Applied Mathematics
Faculty
Faculty of Science
License
Series
Abstract
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.
Description

Reference:

Schmidt, R. 1991. Algebraic terminological representation. University of Cape Town.

Collections
Masters