Ian Horrocks

Ian Horrocks has been the head of my research group during my time in Oxford. He is also one of the most distinguished computer scientists, who had a significant impact on the development of the field of knowledge representation and reasoning and its application in areas such as bioinformatics or the semantic web.

• Homepage of Ian Horrocks
• Ian's Wikipedia article

Publications with Ian Horrocks

The following is a list of works that Ian Horrocks and I published together (or where Ian Horrocks was otherwise involved in), also available as an RSS feed. For more of his works, please consult his list of publications.

• Markus Krötzsch, František Simančík, Ian Horrocks. Description Logics. In IEEE Intelligent Systems, volume 29:1.  2014. (view details, download)
   
• Despoina Magka, Markus Krötzsch, Ian Horrocks. A rule-based ontological framework for the classification of molecules. In Journal of Biomedical Semantics, volume 5:17.  2014. (view details, download)
   
• Markus Krötzsch, František Simančík, Ian Horrocks. A Description Logic Primer. In Jens Lehmann, Johanna Völker, eds.: Perspectives on Ontology Learning.  2014. (view details)
   
• Markus Krötzsch, Despoina Magka, Ian Horrocks. Concrete Results on Abstract Rules. In Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning.  2013. (view details, download)
   
• Despoina Magka, Markus Krötzsch, Ian Horrocks. Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling. In Birte Glimm, Thomas Eiter, Yevgeny Kazakov, Markus Krötzsch, eds.: Proceedings of the 26th International Workshop on Description Logics (DL-13).  2013. (view details, download)
   
• Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang. Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. In Journal of Artificial Intelligence Research, volume 47.  2013. (view details, download)
   
• Despoina Magka, Markus Krötzsch, Ian Horrocks. Computing Stable Models for Nonmonotonic Existential Rules. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI-13).  2013. (view details, download)
   
• Emanuele Della Valle, Stefan Schlobach, Markus Krötzsch, Alessandro Bozzon, Stefano Ceri, Ian Horrocks. Order matters! Harnessing a world of orderings for reasoning over massive data. In Semantic Web Journal 4(2).  2013. (view details, download)
   
• Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang. Acyclicity Conditions and their Application to Query Answering in Description Logics. In Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith, eds.: Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012).  2012. (view details, download)
   
• Yevgeny Kazakov, Markus Krötzsch, František Simančík. ELK Reasoner: Architecture and Evaluation. In Ian Horrocks, Mikalai Yatskevich, Ernesto Jimenez-Ruiz, eds.: Proceedings of the OWL Reasoner Evaluation Workshop 2012.  2012. (view details, download)
   
• Markus Krötzsch, František Simančík, Ian Horrocks. A Description Logic Primer. In CoRR abs/1201.4089.  2012. (view details, download)
   
• Birte Glimm, Markus Krötzsch. SPARQL Beyond Subgraph Matching. In Peter F. Patel-Schneider, Yue Pan, Birte Glimm, Pascal Hitzler, Peter Mika, Jeff Pan, Ian Horrocks, eds.: Proceedings of the 9th International Semantic Web Conference.  2010. (view details, download)
   
• Michael Smith, Ian Horrocks, Markus Krötzsch, Birte Glimm (eds.). OWL 2 Web Ontology Language Conformance.  27 October 2009. (view details)
   
• Pascal Hitzler, Peter Haase, Markus Krötzsch, York Sure, Rudi Studer. DLP isn't so bad after all. In Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter Patel-Schneider, eds.: Proceedings of the 1st Workshop on OWL: Experiences and Directions (OWLED-05).  2005. (view details, download)