Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
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 mod...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | English |
| Published: |
Department of Mathematics and Applied Mathematics
2016
|
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1867613286417039360 |
|---|---|
| access_status_str | Open Access |
| author | Schmidt, Renate Anneliese |
| author2 | Brink, Chris |
| author_browse | Brink, Chris Schmidt, Renate Anneliese |
| author_facet | Brink, Chris Schmidt, Renate Anneliese |
| author_sort | Schmidt, Renate Anneliese |
| collection | Thesis |
| description | 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. |
| format | Thesis |
| id | oai:open.uct.ac.za:11427/22147 |
| institution | University of Cape Town (South Africa) |
| language | eng |
| last_indexed | 2026-06-10T12:33:43.673Z |
| license_str | Not specified — see source repository |
| provenance_str_mv | Harvested via OAI-PMH from UCTD — University of Cape Town Open Access Repository |
| publishDate | 2016 |
| publishDateRange | 2016 |
| publishDateSort | 2016 |
| publisher | Department of Mathematics and Applied Mathematics |
| publisherStr | Department of Mathematics and Applied Mathematics |
| record_format | dspace |
| source_str | UCTD — University of Cape Town Open Access Repository |
| spelling | oai:open.uct.ac.za:11427/22147 Algebraic terminological representation Schmidt, Renate Anneliese Brink, Chris 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. 2016-10-16T09:46:31Z 2016-10-16T09:46:31Z 1991 Master Thesis Masters MSc http://hdl.handle.net/11427/22147 eng application/pdf Department of Mathematics and Applied Mathematics Faculty of Science University of Cape Town |
| spellingShingle | Schmidt, Renate Anneliese Algebraic terminological representation |
| thesis_degree_str | Master's |
| title | Algebraic terminological representation |
| title_full | Algebraic terminological representation |
| title_fullStr | Algebraic terminological representation |
| title_full_unstemmed | Algebraic terminological representation |
| title_short | Algebraic terminological representation |
| title_sort | algebraic terminological representation |
| url | http://hdl.handle.net/11427/22147 |
| work_keys_str_mv | AT schmidtrenateanneliese algebraicterminologicalrepresentation |