Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
Topic Maps for Specifying Algorithm Taxonomies : a case Study using Transitive Closure Algorithms
Thesis (PhD)--University of Pretoria, 2016.
Saved in:
| Other Authors: | |
|---|---|
| Format: | Thesis |
| Language: | English |
| Published: |
University of Pretoria
2017
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1867613698084831232 |
|---|---|
| access_status_str | Open Access |
| author2 | Kourie, Derrick G. |
| author_browse | Kourie, Derrick G. |
| author_facet | Kourie, Derrick G. |
| collection | Thesis |
| dc_rights_str_mv | © 2017 University of Pretoria. All rights reserved. The copyright in this work vests in the University of Pretoria. No part of this work may be reproduced or transmitted in any form or by any means, without the prior written permission of the University of Pretoria. |
| description | Thesis (PhD)--University of Pretoria, 2016. |
| format | Thesis |
| id | oai:repository.up.ac.za:2263/59307 |
| institution | University of Pretoria (South Africa) |
| language | English |
| last_indexed | 2026-06-10T12:40:16.658Z |
| license_str | Other — see source repository |
| provenance_str_mv | Harvested via OAI-PMH from UPSpace — University of Pretoria Institutional Repository |
| publishDate | 2017 |
| publishDateRange | 2017 |
| publishDateSort | 2017 |
| publisher | University of Pretoria |
| publisherStr | University of Pretoria |
| record_format | dspace |
| source_str | UPSpace — University of Pretoria Institutional Repository |
| spelling | oai:repository.up.ac.za:2263/59307 Topic Maps for Specifying Algorithm Taxonomies : a case Study using Transitive Closure Algorithms Kourie, Derrick G. Watson, Bruce William Cleophas, L.G.W.A. (Loek) Pieterse, Vreda Computer Science UCTD Data structuring Algorithm taxonomies Transitive closure algorithms Ontologies in Computer Science Data interoperability Software frameworks Engineering, built environment and information technology theses SDG-04 SDG-04: Quality education Engineering, built environment and information technology theses SDG-09 SDG-09: Industry, innovation and infrastructure Engineering, built environment and information technology theses SDG-17 SDG-17: Partnerships for the goals Engineering, built environment and information technology theses SDG-09 Thesis (PhD)--University of Pretoria, 2016. The need for storing and retrieving knowledge about algorithms is addressed by creating a specialised information management scheme. This scheme is operationalised in terms of a topic map of algorithms. Metadata are specified for the adequate and precise description of algorithms. The specification describes both the data elements (called attributes) that are relevant to algorithms as well as the relationship of attributes to one another. In addition, a process is formalised for gathering data about algorithms and capturing it in the proposed topic map. The proposed process model and representation scheme are then illustrated by applying them to gather and represent information about transitive closure algorithms. To ensure that this thesis is self-contained, several themes about transitive closures are covered comprehensively. These include the mathematical domain-specific knowledge about transitive closures, methods for calculating the transitive closure of binary relations and techniques that can be applied in transitive closure algorithms. The work presented in this thesis has a multidisciplinary character. It contributes to the domains of formal aspects, algorithms, mathematical sciences, information sciences and software engineering. It has a strong formal foundation. The confirmation of the correctness of algorithms as well as reasoning regarding the complexity of algorithms are key aspects of this thesis. The content of this thesis revolves around algorithms: their attributes; how they relate to one another; and how new versions of the algorithms may be discovered. The introduction of new mathematical concepts and notational elements as well as new rigorous proofs contained in the thesis, extend the mathematical science domain. The main problem addressed in this thesis is an information management need. The technology, namely topic maps, used here to address the problem originated in the information science domain. It is applied in a new context that ultimately has the potential to lead to the automation of aspects of software implementation. This influences the traditional software engineering life cycle and quality of software products. bs2026 Computer Science PhD Unrestricted SDG-09: Industry, innovation and infrastructure 2017-03-07T10:19:18Z 2017-03-07T10:19:18Z 2017-05-05 2016 Thesis Pieterse, V 2016, Topic Maps for Specifying Algorithm Taxonomies : a case Study using Transitive Closure Algorithms, PhD Thesis, University of Pretoria, Pretoria, viewed yymmdd <http://hdl.handle.net/2263/59307> A2017 http://hdl.handle.net/2263/59307 en © 2017 University of Pretoria. All rights reserved. The copyright in this work vests in the University of Pretoria. No part of this work may be reproduced or transmitted in any form or by any means, without the prior written permission of the University of Pretoria. application/pdf University of Pretoria |
| spellingShingle | Computer Science UCTD Data structuring Algorithm taxonomies Transitive closure algorithms Ontologies in Computer Science Data interoperability Software frameworks Engineering, built environment and information technology theses SDG-04 SDG-04: Quality education Engineering, built environment and information technology theses SDG-09 SDG-09: Industry, innovation and infrastructure Engineering, built environment and information technology theses SDG-17 SDG-17: Partnerships for the goals Engineering, built environment and information technology theses SDG-09 Topic Maps for Specifying Algorithm Taxonomies : a case Study using Transitive Closure Algorithms |
| title | Topic Maps for Specifying Algorithm Taxonomies : a case Study using Transitive Closure Algorithms |
| title_full | Topic Maps for Specifying Algorithm Taxonomies : a case Study using Transitive Closure Algorithms |
| title_fullStr | Topic Maps for Specifying Algorithm Taxonomies : a case Study using Transitive Closure Algorithms |
| title_full_unstemmed | Topic Maps for Specifying Algorithm Taxonomies : a case Study using Transitive Closure Algorithms |
| title_short | Topic Maps for Specifying Algorithm Taxonomies : a case Study using Transitive Closure Algorithms |
| title_sort | topic maps for specifying algorithm taxonomies a case study using transitive closure algorithms |
| topic | Computer Science UCTD Data structuring Algorithm taxonomies Transitive closure algorithms Ontologies in Computer Science Data interoperability Software frameworks Engineering, built environment and information technology theses SDG-04 SDG-04: Quality education Engineering, built environment and information technology theses SDG-09 SDG-09: Industry, innovation and infrastructure Engineering, built environment and information technology theses SDG-17 SDG-17: Partnerships for the goals Engineering, built environment and information technology theses SDG-09 |
| url | http://hdl.handle.net/2263/59307 |