| Relevant closure: A new form of defeasible reasoning for description logics G Casini, T Meyer, K Moodley, R Nortjé Logics in Artificial Intelligence: 14th European Conference, JELIA 2014 …, 2014 | 91 | 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 | 68 | 2013 |
| Introducing defeasibility into OWL ontologies G Casini, T Meyer, K Moodley, U Sattler, I Varzinczak The Semantic Web-ISWC 2015: 14th International Semantic Web Conference …, 2015 | 56 | 2015 |
| Towards practical defeasible reasoning for description logics G Casini, T Meyer, K Moodley, I Varzinczak Centre for Artificial Intelligence Research, 2013 | 47 | 2013 |
| 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 | 43 | 2020 |
| 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 | 39 | 2013 |
| Root justifications for ontology repair K Moodley, T Meyer, IJ Varzinczak Web Reasoning and Rule Systems: 5th International Conference, RR 2011 …, 2011 | 27 | 2011 |
| Practical reasoning for defeasible description logics K Moodley Ph. D. thesis, University of KwaZulu-Natal, 2015 | 22 | 2015 |
| 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 | 18 | 2012 |
| Debugging and repair of description logic ontologies. K Moodley | 18 | 2010 |
| 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 |
| Theoretical foundations of defeasible description logics K Britz, G Casini, T Meyer, K Moodley, U Sattler, I Varzinczak arXiv preprint arXiv:1904.07559, 2019 | 10 | 2019 |
| DIP: A defeasible-inference platform for OWL ontologies T Meyer, K Moodley, U Sattler CEUR Workshop Proceedings, 2014 | 9 | 2014 |
| A protege plug-in for defeasible reasoning K Moodley, T Meyer, I Varzinczak | 9 | 2012 |
| First steps in the computation of root justifications T Meyer, K Moodley, I Varzinczak | 9 | 2010 |
| Similarity and relevance of court decisions: A computational study on CJEU cases K Moodley, PV Hernandez Serrano, G van Dijck, M Dumontier Legal Knowledge and Information Systems, 63-72, 2019 | 8 | 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 | 6 | 2020 |
| DIP: A defeasible-inference platform for OWL ontologies K Moodley, T Meyer, U Sattler DL 2014: Informal Proceedings of the 27th International Workshop on …, 2014 | 4 | 2014 |
| InContext: curation of medical context for drug indications K Moodley, L Rieswijk, TI Oprea, M Dumontier Journal of biomedical semantics 12, 1-15, 2021 | 2 | 2021 |
| Practical defeasible reasoning for description logics K Moodley, T Meyer, U Sattler STAIRS 2014, 191-200, 2014 | 2 | 2014 |
Thomas MeyerProfessor in Computer Science, University of Cape Town; Co-Director of CAIR (cair.org.za)在 uct.ac.za 的电子邮件经过验证
