Algebraic terminological representation

 

Show simple item record

dc.contributor.advisor Brink, Chris en_ZA
dc.contributor.author Schmidt, Renate Anneliese en_ZA
dc.date.accessioned 2016-10-16T09:46:31Z
dc.date.available 2016-10-16T09:46:31Z
dc.date.issued 1991 en_ZA
dc.identifier.citation Schmidt, R. 1991. Algebraic terminological representation. University of Cape Town. en_ZA
dc.identifier.uri http://hdl.handle.net/11427/22147
dc.description.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. en_ZA
dc.language.iso eng en_ZA
dc.title Algebraic terminological representation en_ZA
dc.type Master Thesis
uct.type.publication Research en_ZA
uct.type.resource Thesis en_ZA
dc.publisher.institution University of Cape Town
dc.publisher.faculty Faculty of Science en_ZA
dc.publisher.department Department of Mathematics and Applied Mathematics en_ZA
dc.type.qualificationlevel Masters
dc.type.qualificationname MSc en_ZA
uct.type.filetype Text
uct.type.filetype Image
dc.identifier.apacitation Schmidt, 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/22147 en_ZA
dc.identifier.chicagocitation Schmidt, 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/22147 en_ZA
dc.identifier.vancouvercitation Schmidt 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/22147 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


Files in this item

This item appears in the following Collection(s)

Show simple item record