Matthew Horridge

Matthew Horridge

Contacting me

email: matthew.horridge@cs.man.ac.uk

tel: 00 44 (0) 161 275 0667

Room 2.89
Kilburn Building
School of Computer Science
The University of Manchester
Oxford Road
Manchester
M13 9PL

About me

I am a PhD student in the School of Computer Science at the University of Manchester, where I am supervised by Bijan Parsia and Uli Sattler. My research is centred around explanation of entailments in OWL ontologies. More specifically, I am currently looking at precise justifications and how justifications can be enhanced in order to provide a basis for making them easier to understand.

Prior to working in this area, I obtained an undergraduate degree (MEng) in Aerospace Engineering (1997 - 2001) in the School of Engineering at the University of Manchester. I then completed a Masters degree in Computer Science (2002 - 2003). My Masters project, "Ontology Visualisation in OilEd", was supervised by Ian Horrocks, who was largely responsible for introducing me to and inspiring me to work in this area. After completing my Masters degree, I took up a position as a software developer on the CO-ODE project, with Alan Rector, where I developed tools to create and maintain OWL ontologies.

I also work on and maintain the OWL API, which is a high level API for creating and manipulating OWL ontologies. The API was the first API for dealing with OWL 2 ontologies. While the first version of the API was designed by Sean Bechhofer and Raphael Volz, I am responsible for the latest design and implementation which supports OWL 2

Publications

2010

Matthew Horridge, Bijan Parsia and Ulrike Sattler"Justification Oriented Proofs in OWL" The 9th International Semantic Web Conference (ISWC 2010), November 2010 Shanghai, China.
Matthew Horridge, Bijan Parsia. "From Justifications towards Proofs for Ontology Engineering" 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), Toronto, Canada.
Matthew Horridge, Bijan Parsia, Ulrike Sattler. "Justification Masking in OWL" 23rd International Workshop on Description Logics (DL 2010), Waterloo, Canada.
Katy Wolstencroft, Stuart Owen, Matthew Horridge and Carole Goble. RightField: Rich Annotation of Experimental Biology Through Stealth Using Spreadsheets Microsoft e-Science 2010, October 2010, San Francisco, California, USA.
Janna Hastings, Duncan Hull, Matthew Horridge, Christoph Steinbeck, Robert Stevens, Ulrike Sattler, Tertia Horne and Katarina Britz Representing chemicals using OWL, Description Graphs and Rules OWL Experiences and Directions (OWLED 2010), June 2010, San Francisco, California, USA.

2009

Matthew Horridge, Bijan Parsia, Ulrike Sattler. "From Justifications to Proofs for Entailments in OWL" OWL Experiences and Directions (OWLED 2009), Washington D.C., USA.
Matthew Horridge, Sean Bechhofer. "The OWL API: A Java API for Working with OWL 2 Ontologies" OWL Experiences and Directions (OWLED 2009), Washington D.C., USA.
Birte Glimm, Matthew Horridge, Bijan Parsia, Peter F. Patel-Schneider. "A Syntax for Rules in OWL 2" OWL Experiences and Directions (OWLED 2009), Washington D.C., USA.
Matthew Horridge, Bijan Parsia, Ulrike Sattler. "Explaining Inconsistencies in OWL Ontologies" 3rd International Conference on Scalable Uncertainty Management (SUM 2009), Washington D.C., USA.
Matthew Horridge, Bijan Parsia, Ulrike Sattler. "Lemmas for Justifications in OWL" 22nd International Workshop on Description Logics (DL 2009), Oxford, England. pdf bib
Matthew Horridge, Bijan Parsia, Ulrike Sattler. "Computing Explanations for Entailments in Description Logic Based Ontologies 16th Automated Reasoning Workshop (ARW 2009), Liverpoool, England. pdf bib

2008

Matthew Horridge and Bijan Parsia and Ulrike Sattler (2008). "Laconic and Precise Justifications in OWL." International Semantic Web Conference 2008, Karlsruhe, Germany. (Supported by the TONES Project) (Winner of the Best Paper award, ISWC 2008) pdf bib

Watch the presentation given at ISWC

Laconic and Precise Justifications in OWL

Matthew Horridge and Johannes Bauer and Bijan Parsia and Ulrike Sattler. "Understanding Entailments in OWL". OWL: Experiences and Directions (OWLED 08 EU), Karlsruhe, Germany.(Supported by the TONES Project)
Alan Rector, Matthew Horridge, Luigi Iannone Iannone and Nick Drummond. "Use Cases for Building OWL Ontologies as Modules: Localizing, Ontology and Programming Interfaces & Extensions". 4th International Workshop on Semantic Web Enabled Software Engineering (SWESE 2008), Karlsruhe, Germany.
Thorsten Liebig, Marko Luther, Olaf Noppens, Mariano Rodriguez, Diego Calvanese, Michael Wessel, Matthew Horridge, Sean Bechhofer, Dmitry Tsarkov and Evren Sirin. "OWLlink: DIG for OWL 2". OWL: Experiences and Directions (OWLED 08 EU), Karlsruhe, Germany.
Matthew Horridge and Peter F. Patel-Schneider. "Manchester OWL Syntax for OWL 1.1" OWL: Experiences and Directions (OWLED 08 DC), Gaithersberg, Maryland.

2007

R. Stevens, M. E. Aranguren, K. Wolstencroft, U. Sattler, N. Drummond, Matthew Horridge and A. Rector (2007). "Using owl to model biological knowledge." International Journal of Human Computer Studies 65(7): 583-594.
Matthew Horridge and Sean Bechhofer and Olaf Noppens (2007). "Igniting the OWL 1.1 Touch Paper: The OWL API" OWL: Experiences and Directions (OWLED 07), Innsbruck, Austria
Aditya Kalyanpur, Bijan Parsia, Matthew Horridge, Evren Sirin. "Finding all Justifications of OWL DL Entailments". International Semantic Web Conference 2007, Busan Korea
Christine Golbreich, Matthew Horridge, Ian Horrocks, Boris Motik, Rob Shearer "OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences". International Semantic Web Conference 2007, Busan Korea

2006

Matthew Horridge and Dmitry Tsarkov and Timothy Redmond. Supporting Early Adoption of OWL 1.1 with Protege-OWL and FaCT++. OWL: Experiences and Directions (OWLED 06), Athens, Georgia,
Matthew Horridge, Nicholas Drummond, John Goodwin, Alan Rector, Robert Stevens and Hai Wang (2006). The Manchester OWL syntax. OWL: Experiences and Directions (OWLED 06), Athens, Georgia, CEUR
Nicholas Drummond, Alan Rector, Robert Stevens, Georgina Moulton, Matthew Horridge, Hai Wang and Julian Sedenberg (2006). Putting OWL in Order: Paterns for sequences in OWL. OWL Experexperiences and Directions (OWLEd 2006), Athens Georgia

2005

Knublauch, H., M. Horridge, M. Musen, A. Rector, R. Stevens, N. Drummond, P. Lord, N. F. Noy, J. Seidenberg and H. Wang (2005). The Protege OWL experience. OWL Experiences and Directions (OWLEd 2005), Galway, Ireland
Wang, H., M. Horridge, A. L. Rector, N. Drummond and J. Seidenberg (2005). Debugging OWL-DL Ontologies: A heuristic approach. 4th International Semantic Web Conference (ISWC 2005), Galway, Ireland, Springer LNCS 3729: 745-757.

2004

M. Horridge, M., H. Knublauch, A. Rector, R. Stevens and C. Wroe (2004). A practical guide to building OWL ontologies using the Protege-OWL plugin and CO-ODE tools. University of Manchester, CO-ODE project
Rector, A., N. Drummond, M. Horridge, H. Knublauch, J. Rogers, R. Stevens, H. Wang and C. Wroe (2004). Designing User interfaces to Minimise Common Errors in Ontology Development: The CO-ODE and HyOntUse Projects. UK E-Science All Hands Meeting 2004, Nottingham: (in press).
Rector, A., N. Drummond, M. Horridge, J. Rogers, H. Knublauch, R. Stevens, H. Wang and C. Wroe (2004). OWL Pizzas: Common errors & common patterns from practical experience of teaching OWL-DL. European Knowledge Acquisition Workshop (EKAW-2004), Northampton, England, Springer Verlag: 63-81.

2003

Matthew Horridge. Ontology Visualisation in OilEd Masters Thesis, The University of Manchester.