| Relevant closure: A new form of defeasible reasoning for description logics G Casini, T Meyer, K Moodley, R Nortjé European Workshop on Logics in Artificial Intelligence, 92-106, 2014 | 71 | 2014 |
| Nonmonotonic reasoning in description logics. Rational closure for the ABox G Casini, T Meyer, K Moodley, I Varzinczak CAIR (Centre for Artificial Intelligence Research), 2013 | 63 | 2013 |
| Introducing defeasibility into OWL ontologies G Casini, T Meyer, K Moodley, U Sattler, I Varzinczak International Semantic Web Conference, 409-426, 2015 | 53 | 2015 |
| Towards practical defeasible reasoning for description logics G Casini, T Meyer, K Moodley, I Varzinczak Centre for Artificial Intelligence Research, 2013 | 39 | 2013 |
| Ordered interpretations and entailment for defeasible description logics K Britz, G Casini, T Meyer, K Moodley, I Varzinczak Technical report, CAIR, CSIR Meraka and UKZN, South Africa, 2013 | 37 | 2013 |
| Root justifications for ontology repair K Moodley, T Meyer, IJ Varzinczak International Conference on Web Reasoning and Rule Systems, 275-280, 2011 | 19 | 2011 |
| Practical reasoning for defeasable description logics. K Moodley | 18 | 2016 |
| Rational defeasible reasoning for description logics K Britz, G Casini, T Meyer, K Moodley, U Sattler, I Varzinczak University of Cape Town, 2018 | 17 | 2018 |
| Debugging and repair of description logic ontologies. K Moodley | 16 | 2010 |
| A defeasible reasoning approach for description logic ontologies K Moodley, T Meyer, IJ Varzinczak Proceedings of the South African Institute for Computer Scientists and …, 2012 | 15 | 2012 |
| Principles of KLM-style defeasible description logics K Britz, G Casini, T Meyer, K Moodley, U Sattler, I Varzinczak ACM Transactions on Computational Logic (TOCL) 22 (1), 1-46, 2020 | 13 | 2020 |
| A protege plug-in for defeasible reasoning K Moodley, T Meyer, I Varzinczak | 10 | 2012 |
| Theoretical foundations of defeasible description logics K Britz, G Casini, T Meyer, K Moodley, U Sattler, I Varzinczak arXiv preprint arXiv:1904.07559, 2019 | 9 | 2019 |
| First steps in the computation of root justifications T Meyer, K Moodley, I Varzinczak | 8 | 2010 |
| DIP: A defeasible-inference platform for OWL ontologies T Meyer, K Moodley, U Sattler CEUR Workshop Proceedings, 2014 | 6 | 2014 |
| Similarity and relevance of court decisions: A computational study on CJEU cases K Moodley, PVH Serrano, G van Dijck, M Dumontier JURIX, 63-72, 2019 | 5 | 2019 |
| The case for a linked data research engine for legal scholars K Moodley, PV HERNANDEZ-SERRANO, AJ ZAVERI, MGH SCHAPER, ... European Journal of Risk Regulation 11 (1), 70-93, 2020 | 4 | 2020 |
| DIP: A Defeasible-Inference Platform for {OWL} Ontologies K Moodley, T Meyer, U Sattler Informal Proc. of the 27th International Workshop on Description Logics (DL …, 2014 | 2 | 2014 |
| Practical Defeasible Reasoning for Description Logics. K Moodley, T Meyer, U Sattler STAIRS, 191-200, 2014 | 2 | 2014 |
| InContext: curation of medical context for drug indications K Moodley, L Rieswijk, TI Oprea, M Dumontier Journal of biomedical semantics 12 (1), 1-15, 2021 | | 2021 |
Thomas MeyerProfessor in Computer Science, University of Cape Town; Co-Director of CAIR (cair.org.za)Verified email at cs.uct.ac.za
