ResearchSpace
→
Browsing by Author

Browsing by Author "Halland, K"

Now showing items 1-7 of 7

ABox abduction in ALC using a DL tableau

Author: Halland, K ; Britz, K Date: Oct 2012 The formal definition of abduction asks what needs to be added to a knowledge base to enable an observation to be entailed by the knowledge base. ABox abduction in description logics (DLs) asks what ABox statements need to be added to a DL ... Read more
Inductive reasoning in description logics

Author: Halland, K ; Britz, K Date: Nov 2008 Inductive reasoning is a form of inconclusive reasoning for making generalisations based on observations. In the field of pattern recognition, inductive reasoning is often called learning, where general rules are derived from empirical data ... Read more
Integration of SNOMED CT into the OpenMRS electronic medical record system framework

Author: Gerber, A ; Meyer, T ; Seebregts, C ; Britz, A ; Pretorius, L ; Alberts, R ; Moodley, D ; Halland, K Date: Nov 2008 Integrating a mechanism to store, retrieve and use clinical data with a system to manage medical records enables better utilisation of medical data and improved healthcare. This poster introduces a research project that aims to extend OpenMRS ... Read more
Investigations into the use of SNOMED CT to enhance an OpenMRS health information system

Author: Halland, K ; Britz, K ; Gerber, A Date: Jul 2011 In this paper, the authors discuss the advantages of using formal medical ontologies to enhance health information systems. In particular, they consider the suitability of the medical ontology Snomed CT for enhancing a health information ... Read more
Naive ABox abduction in ALC using a DL tableau

Author: Halland, K ; Britz, K Date: Jun 2012 The formal definition of abduction asks what needs to be added to a knowledge base to enable an observation to be entailed by the knowledge base. An observation which is not entailed by the knowledge base will result in open branches in a ... Read more
TBox abduction in ALC using a DL tableau

Author: Halland, K ; Britz, K ; Klarman, S Date: Jul 2014 The formal definition of abduction asks what needs to be added to a knowledge base to enable an observation to be entailed. TBox abduction in description logics (DLs) asks what TBox axioms need to be added to a DL knowledge base to allow ... Read more
Technologies for conceptual modelling and intelligent query formulation

Author: Alberts, R ; Britz, K ; Gerber, A ; Halland, K ; Meyer, T ; Pretorius, L Date: Nov 2008 The aim of the project is to devise and evaluate algorithms, methodologies, techniques and interaction paradigms to build a tool for conceptual modelling and query management of complex data repositories based on a framework with solid formal ... Read more

Now showing items 1-7 of 7

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Tel: + 27 12 841 2911
Email: callcentre@csir.co.za

Physical Address
Meiring Naudé Road
Brummeria
Pretoria
South Africa

Postal Address
PO Box 395
Pretoria 0001
South Africa

Social Connect

Resources on this site are free to download and reuse according to associated licensing provision. Please read the terms and conditions of usage of each resource.

Browsing by Author "Halland, K"

Browsing by Author "Halland, K"

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Social Connect