| Acyclicity notions for existential rules and their application to query answering in ontologies BC Grau, I Horrocks, M Krötzsch, C Kupke, D Magka, B Motik, Z Wang Journal of Artificial Intelligence Research 47, 741-808, 2013 | 144 | 2013 |
| Structure-based classification and ontology in chemistry J Hastings, D Magka, C Batchelor, L Duan, R Stevens, M Ennis, ... Journal of cheminformatics 4, 1-20, 2012 | 66 | 2012 |
| Computing Stable Models for Nonmonotonic Existential Rules D Magka, M Krötzsch, I Horrocks Proceedings of the 23rd International Joint Conference on Artificial …, 2013 | 43 | 2013 |
| Tractable Extensions of the Description Logic EL with Numerical Datatypes D Magka, Y Kazakov, I Horrocks Journal of Automated Reasoning 47 (4), 427-450, 2011 | 38 | 2011 |
| Modelling structured domains using description graphs and logic programming D Magka, B Motik, I Horrocks Extended Semantic Web Conference, 330-344, 2012 | 37 | 2012 |
| Acyclicity conditions and their application to query answering in description logics B Cuenca Grau, I Horrocks, M Krötzsch, C Kupke, D Magka, B Motik, ... Thirteenth International Conference on the Principles of Knowledge …, 2012 | 34* | 2012 |
| A rule-based ontological framework for the classification of molecules. D Magka, M Krötzsch, I Horrocks J. Biomedical Semantics 5, 17, 2014 | 18 | 2014 |
| {SocialHEISTing}: Understanding Stolen Facebook Accounts J Onaolapo, N Leontiadis, D Magka, G Stringhini 30th USENIX Security Symposium (USENIX Security 21), 4115-4132, 2021 | 13 | 2021 |
| Tractable extensions of the description logic EL with numerical datatypes D Magka, Y Kazakov, I Horrocks Automated Reasoning, 5th International Joint Conference, IJCAR 2010, 61-75, 2010 | 11 | 2010 |
| Concrete results on abstract rules M Krötzsch, D Magka, I Horrocks Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013 | 3 | 2013 |
| Ontology-Based Classification of Molecules: a Logic Programming Approach D Magka Proceedings of the SWAT4LS conference 30, 2012 | 3 | 2012 |
| Classifying Chemicals Using Description Graphs and Logic Programming. D Magka, B Motik, I Horrocks OWLED, 2012 | 3 | 2012 |
| Foundations and applications of knowledge representation for Structured entities D Magka University of Oxford, 2013 | 2 | 2013 |
| Stable models for nonmonotonic existential rules D Magka, M Krötzsch, I Horrocks Technical report, University of Oxford, 2013. http://www. cs. ox. ac. uk/isg …, 2013 | 2 | 2013 |
| Chemical knowledge representation with description graphs and logic programming D Magka, B Motik, I Horrocks Proceedings of the 4th International Workshop on Semantic Web Applications …, 2011 | 2 | 2011 |
| Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling. D Magka, M Krötzsch, I Horrocks Description Logics, 390-402, 2013 | 1 | 2013 |
| Consequence-based datatype reasoning in EL: Identifying the tractable fragments D Magka Master’s thesis, Oxford University Computing Laboratory, 2009 | 1 | 2009 |
| Concrete Results on Abstract Rules D Magka | | 2013 |
| Extending Logic Programming for Life Sciences Applications D Magka Computer Science Student Conference 2012, 25, 2012 | | 2012 |
| Structure− based classification and ontology in chemistry D Magka Journal of Cheminformatics 4 (8), 2012 | | 2012 |
Ian HorrocksProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
