Algebraic terminological representation

Simple item page
dc.contributor.advisorBrink, Chrisen_ZA
dc.contributor.authorSchmidt, Renate Annelieseen_ZA
dc.date.accessioned2016-10-16T09:46:31Z
dc.date.available2016-10-16T09:46:31Z
dc.date.issued1991en_ZA
dc.description.abstractThis 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.en_ZA
dc.identifier.apacitationSchmidt, R. A. (1991). <i>Algebraic terminological representation</i>. (Thesis). University of Cape Town ,Faculty of Science ,Department of Mathematics and Applied Mathematics. Retrieved from http://hdl.handle.net/11427/22147en_ZA
dc.identifier.chicagocitationSchmidt, Renate Anneliese. <i>"Algebraic terminological representation."</i> Thesis., University of Cape Town ,Faculty of Science ,Department of Mathematics and Applied Mathematics, 1991. http://hdl.handle.net/11427/22147en_ZA
dc.identifier.citationSchmidt, R. 1991. Algebraic terminological representation. University of Cape Town.en_ZA
dc.identifier.ris TY - Thesis / Dissertation AU - Schmidt, Renate Anneliese AB - 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. DA - 1991 DB - OpenUCT DP - University of Cape Town LK - https://open.uct.ac.za PB - University of Cape Town PY - 1991 T1 - Algebraic terminological representation TI - Algebraic terminological representation UR - http://hdl.handle.net/11427/22147 ER - en_ZA
dc.identifier.urihttp://hdl.handle.net/11427/22147
dc.identifier.vancouvercitationSchmidt RA. Algebraic terminological representation. [Thesis]. University of Cape Town ,Faculty of Science ,Department of Mathematics and Applied Mathematics, 1991 [cited yyyy month dd]. Available from: http://hdl.handle.net/11427/22147en_ZA
dc.language.isoengen_ZA
dc.publisher.departmentDepartment of Mathematics and Applied Mathematicsen_ZA
dc.publisher.facultyFaculty of Scienceen_ZA
dc.publisher.institutionUniversity of Cape Town
dc.titleAlgebraic terminological representationen_ZA
dc.typeMaster Thesis
dc.type.qualificationlevelMasters
dc.type.qualificationnameMScen_ZA
uct.type.filetypeText
uct.type.filetypeImage
uct.type.publicationResearchen_ZA
uct.type.resourceThesisen_ZA
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
thesis_sci_1991_schmidt_renate_anneliese.pdf
Size:
2.62 MB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Masters