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

Browsing by Author "Moodley, K"

Sort by: Order: Results:

  • Moodley, K; Meyer, T; Varzinczak, IJ (ACM, 2012-10)
    Classical reasoning for logic-based KR (Knowledge Representation) systems is in general, monotonic. That is, there is an assumption in these systems that there is complete information about a domain. This means that they ...
  • Meyer, T; Moodley, K; Sattler, U (CEUR Workshop Proceedings, 2014-07)
    The preferential approach to nonmonotonic reasoning was consolidated in depth by Krause, Lehmann and Magidor (KLM) for propositional logic in the early 90's. In recent years, there have been efforts to extend their framework ...
  • Wall, K; Manus, A; Moodley, K; Boshoff, L; Ottermann, A (Water Institute of Southern Africa (WISA), 2008-05)
    This paper describes the steady progress that the Department of Water Affairs and Forestry (DWAF) has been making with formulating a national water services infrastructure asset management (IAM) strategy. A "scan" of the ...
  • Meyer, T; Moodley, K; Varzinczak, I (2010-08)
    Description Logics (DLs) are widely accepted as an appropriate class of knowledge representation languages to represent and reason about ontologies. Tools for performing standard reasoning tasks such as satisfiability and ...
  • Manus, N; Wall, K; Moodley, K (2008-08)
    This paper describes the steady progress that the South African department of Water Affairs and Forestry (DWAF) has been making with formulating a national water services infrastructure asset management (IAM) strategy. A ...
  • Casini, G; Meyer, T; Moodley, K; Sattler, U; Varzinczak, I (Springer International Publishing, 2015-10)
    In recent years, various approaches have been developed for representing and reasoning with exceptions in OWL. The price one pays for such capabilities, in terms of practical performance, is an important factor that is yet ...
  • Casini, G; Meyer, T; Moodley, K; Varzinczak, I (CAIR (Centre for Artificial Intelligence Research), 2013-07)
    The introduction of defeasible reasoning in Description Logics has been a main research topic in the field in the last years. Despite the fact that various interesting formalizations of nonmonotonic reasoning for the TBox ...
  • Smith, S; Moodley, K; Govender, Ureshnie; Chen, H; Fourie, L; Ngwenya, S; Kumar, S; Mjwana, P; Cele, H; Mbanjwa, MB; Potgieter, S; Joubert, T-H; Land, K (Academy of Science of South Africa (ASSAf), 2015-11)
    Current centralised healthcare models pose many challenges, particularly for developing countries such as South Africa, where travel and time costs make it difficult for patients to seek healthcare, even when urgently ...
  • Wiederoder, MS; Smith, S; Madzivhandila, P; Mager, D; Moodley, K; DeVoe, DL; Land, KJ (2016-10)
    This study describes a novel hybrid paper-polymer centrifugal microfluidic device for pre-concentration of E.coli and lateral flow immunoassay enhancement for water quality verification. The device balances rotational ...
  • Smith, S; Moodley, K; Land, K (RAPDASA 2015, 2015-11)
    We present a plug-and-play toolkit for the rapid assembly of paper-based microfluidic and electronic components for quick prototyping of paper-based components towards point-of-care diagnostic solutions. Individual modules, ...
  • Moodley, K; Meyer, T; Sattler, U (IOS Press, 2014-08)
    Abstract. The preferential approach to nonmonotonic reasoning was consolidated in depth by Krause, Lehmann and Magidor (KLM) for propositional logic in the early 90's. In recent years, there have been e orts to extend ...
  • Moodley, K; Meyer, T; Varzinczak, I (2012-06)
    We discuss two approaches for defeasible reasoning in Description Logics that allow for the statement of defeasible subsumptions of the form “subsumed by usually holds”. These approaches are known as prototypical reasoning ...
  • Ngamsom, B; Fourie, L; Tarn, MD; Kumar, S; Moodley, K; Land, K; Pamme, N (2016-10)
    The present investigation reports isolation and detection of E. coli O157:H7 employing a simple and portable microfluidic device based on immiscible filtration assisted by surface tension (IFAST) and adenosine triphosphate ...
  • Smith, S; Chen, H; Moodley, K; Joubert, T; Land, K (RAPDASA, 2014-11)
    We present a method for rapid and low-cost development of microfluidic diagnostic devices using paper-based techniques. Specifically, the implementation of fluidic flow paths and electronics on paper are demonstrated, with ...
  • Casini, G; Meyer, T; Moodley, K; Nortjé, R (Springer International Publishing, 2014-09)
    Among the various proposals for defeasible reasoning for description logics, Rational Closure, a procedure originally defined for propositional logic, turns out to have a number of desirable properties. Not only it is ...
  • Moodley, K; Meyer, T; Varzinczak, IJ (2011-08)
    In recent years, there has been significant progress in developing tools for debugging and repairing Description Logic (DL)-based ontologies with erroneous consequences. However, these tools place more emphasis on explaining ...
  • Casini, G; Meyer, T; Moodley, K; Varzinczak, I (Centre for Artificial Intelligence Research, 2013-07)
    The formalisation of defeasible reasoning in automated systems is becoming increasingly important. Description Logics (DLs) are nowadays the main logical formalism in the field of formal ontologies. Our focus in this paper ...
  • Moodley, K; Land, K; Muzenda, E (2015-10)
    The use of multiplexed paper sensors for health and environmental monitoring applications continues to rise. Multiplexed devices are capable of detecting multiple disease biomarkers or contaminants from a single sample. ...