| 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 | 115 | 2013 |
| 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 | 115 | 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), 8, 2012 | 57 | 2012 |
| 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 | 46 | 2011 |
| 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 | 46* | 2010 |
| Computing Stable Models for Nonmonotonic Existential Rules D Magka, M Krötzsch, I Horrocks Proceedings of the 23rd International Joint Conference on Artificial …, 2013 | 40 | 2013 |
| Tractable Extensions of the Description Logic {\ mathcal {EL}} with Numerical Datatypes D Magka, Y Kazakov, I Horrocks Journal of Automated Reasoning 47 (4), 427-450, 2011 | 35 | 2011 |
| Tractable Extensions of the Description Logic {\ mathcal {EL}} with Numerical Datatypes D Magka, Y Kazakov, I Horrocks Journal of Automated Reasoning 47 (4), 427-450, 2011 | 35 | 2011 |
| Modelling structured domains using description graphs and logic programming D Magka, B Motik, I Horrocks Extended Semantic Web Conference, 330-344, 2012 | 34 | 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 | 31 | 2012 |
| A rule-based ontological framework for the classification of molecules. D Magka, M Krötzsch, I Horrocks J. Biomedical Semantics 5, 17, 2014 | 16 | 2014 |
| Ontology-Based Classification of Molecules: a Logic Programming Approach D Magka Proceedings of the SWAT4LS conference 30, 2012 | 4 | 2012 |
| Classifying Chemicals Using Description Graphs and Logic Programming. D Magka, B Motik, I Horrocks OWLED, 2012 | 3 | 2012 |
| Concrete results on abstract rules M Krötzsch, D Magka, I Horrocks International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013 | 2 | 2013 |
| 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 |
Ian HorrocksProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
