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 the presentation of justifications can be improved in order to make 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. Some of the popular tools that I produced were OWLViz, OWLDoc, and The Manchester OWL Syntax Editor. I also led the design and implementation of the Protege 4 OWL Ontology Editor, which was written from the ground up. I consider it to be a huge advancement over earlier versions of Protege-OWL. In particular, the ability to work with multiple ontologies, easily track which ontology a defintion comes from, and smoothly move axioms between ontologies have set it apart from any other OWL ontology editor. It was also the first editor to natively support OWL 2

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

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.