|
Researchspace >
Browsing by Author Halland, K
Showing results 1 to 6 of 6
| Issue Date | Title | Author(s) | | Oct-2012 | ABox abduction in ALC using a DL tableau | Halland, K; Britz, K |
| Nov-2008 | Inductive reasoning in description logics | Halland, K; Britz, K |
| Nov-2008 | Integration of SNOMED CT into the OpenMRS electronic medical record system framework | Gerber, A; Meyer, T; Seebregts, C; Britz, A; Pretorius, L; Alberts, R; Moodley, D; Halland, K |
| Jul-2011 | Investigations into the use of SNOMED CT to enhance an OpenMRS health information system | Halland, K; Britz, K; Gerber, A |
| Jun-2012 | Naive ABox abduction in ALC using a DL tableau | Halland, K; Britz, K |
| Nov-2008 | Technologies for conceptual modelling and intelligent query formulation | Alberts, R; Britz, K; Gerber, A; Halland, K; Meyer, T; Pretorius, L |
Showing results 1 to 6 of 6
|
