Matthew Horridge

Contacting Me

email:matthew.horridge@stanford.edu
post: Medical School Office Building
1265 Welch Road
California
94305
[map]

About Me

I am based in the Bio-Medical Informatics Research Group at Stanford University where I work on Protege suite of tools, including WebProtege. My research interests centre around tools, techniques and methodologies for developing logic based ontologies, in particular ontologies written in the Web Ontology Language OWL. Over the past few years my main area of focus has been to do with all aspects of providing explanations of entailments in ontologies to end users. Prior to moving to Stanford I worked at The University of Manchester in the Bio-Health Informatics Group and the Information Management Group where I obtained my PhD under the supervision of Bijan Parsia and Uli Sattler.

Publications

2012

Matthew Horridge, Mikel Egana Aranguren, Jonathan Mortensen, Mark A. Musen, and Natalya Fridman Noy
Ontology Design Pattern Language Expressivity Requirements
Proceedings of the 3rd Workshop on Ontology Patterns, Boston, USA, November 12, 2012
Pavel Klinov and Matthew Horridge
Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012
Matthew Horridge, Bijan Parsia, and Ulrike Sattler
Justification Masking in Ontologies
Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012
Matthew Horridge, Bijan Parsia, and Ulrike Sattler
Extracting Justifications from BioPortal Ontologies
The Semantic Web - ISWC 2012 - 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II
Manuel Salvadores, Matthew Horridge, Paul R. Alexander, Ray W. Fergerson, Mark A. Musen, and Natalya Fridman Noy
Using SPARQL to Query BioPortal Ontologies and Metadata
The Semantic Web - ISWC 2012 - 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II
Jonathan Mortensen, Matthew Horridge, Mark A. Musen, and Natalya Fridman Noy
Modest Use of Ontology Design Patterns in a Repository of Biomedical Ontologies
Proceedings of the 3rd Workshop on Ontology Patterns, Boston, USA, November 12, 2012
Alan L. Rector, Sebastian Brandt, Nick Drummond, Matthew Horridge, Colin Puleston, and Robert Stevens
Engineering use cases for modular development of ontologies in OWL
Applied Ontology 7 (2) : 113-132
Katy Wolstencroft, Stuart Owen, Matthew Horridge, Wolfgang Moeller, Finn Bacall, Jacky L. Snoep, Franco du Preez, Quyen Nguyen, Olga Krebs, and Carole A. Goble
RightField: Scientific Knowledge Acquisition by Stealth through Ontology-Enabled Spreadsheets
Knowledge Engineering and Knowledge Management - 18th International Conference, EKAW 2012, Galway City, Ireland, October 8-12, 2012. Proceedings
Simon Jupp, Matthew Horridge, Luigi Iannone, Julie Klein, Stuart Owen, Joost Schanstra, Katy Wolstencroft, and Robert Stevens
Populous: a tool for building OWL ontologies from templates
BMC Bioinformatics 13 (S-1) : S5

2011

Matthew Horridge, Samantha Bail, Bijan Parsia, and Ulrike Sattler
The Cognitive Complexity of OWL Justifications
Proceedings of the 24th International Workshop on Description Logics (DL2011), Barcelona, Spain July 13--16, 2011
Katy Wolstencroft, Stuart Owen, Matthew Horridge, Olga Krebs, Wolfgang Mueller, Jacky L. Snoep, Franco du Preez, and Carole A. Goble
RightField: embedding ontology annotation in spreadsheets
Bioinformatics 27 (14) : 2021-2022
Matthew Horridge, Bijan Parsia, and Ulrike Sattler
The State of BioMedical Ontologies
BioOntologies 2011 Co-Located with ISMB 2011, 15th--16th July, Vienna Austria
Matthew Horridge, Samantha Bail, Bijan Parsia, and Ulrike Sattler
The Cognitive Complexity of OWL Justifications
The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, ISWC 2011, Bonn, Germany, October 23-27, 2011
Matthew Horridge
Justification Based Explanation in Ontologies
Samantha Bail, Matthew Horridge, Bijan Parsia, and Ulrike Sattler
The Justficatory Structure of the NCBO BioPortal Ontologies
The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, ISWC 2011, Bonn, Germany, October 23-27, 2011
Matthew Horridge and Sean Bechhofer
The OWL API: A Java API for OWL Ontologies
Semantic Web 2 (1) : 11--21

2010

Matthew Horridge, Bijan Parsia, and Ulrike Sattler
Justification Oriented Proofs in OWL
The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I
Simon Jupp, Matthew Horridge, Luigi Iannone, Julie Klein, Stuart Owen, Joost Schanstra, Robert Stevens, and Katy Wolstencroft
Populous: A tool for populating ontology templates
CoRR abs/1012.1745 () :
Matthew Horridge, Bijan Parsia, and Ulrike Sattler
Justification Masking in OWL
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Canada. May 4th--May 7th, 2010
Matthew Horridge and Bijan Parsia
From Justifications Towards Proofs for Ontology Engineering
Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010

2009

Matthew Horridge and Sean Bechhofer
The OWL API: A Java API for Working with OWL 2 Ontologies.
OWL: Experiences and Directions (OWLED 2009), 6th OWL Experienced and Directions Workshop, Chantilly, Virginia, October 2009.
Matthew Horridge, Bijan Parsia, and Ulrike Sattler
Lemmas For Justifications in OWL
Description Logics (DL 2009)
Matthew Horridge, Bijan Parsia, and Ulrike Sattler
From Justifications to Proofs for Entailments in OWL
Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), Chantilly, VA, United States, October 23-24, 2009
Matthew Horridge, Bijan Parsia, and Ulrike Sattler
Explaining Inconsistencies in OWL Ontologies
3rd International Conference on Scalable Uncertainty Management SUM 2009, September 28--30, 2009 Washington DC Area, USA
Matthew Horridge, Bijan Parsia, and Ulrike Sattler
Computing Explanations for Entailments in Description Logic Based Ontologies
16th Automated Reasoning Workshop (ARW 2009), Liverpool, UK.
Birte Glimm, Matthew Horridge, Bijan Parsia, and Peter F. Patel-Schneider
A Syntax for Rules in OWL 2
OWL: Experiences and Directions (OWLED 2009), 6th OWL Experienced and Directions Workshop, Chantilly, Virginia, October 2009.

2008

Matthew Horridge, Bijan Parsia, and Ulrike Sattler
Explanation of OWL Entailments in Protégé-4
International Semantic Web Conference (Posters \& Demos)
Matthew Horridge, Bijan Parsia, and Ulrike Sattler
Laconic and Precise Justifications in OWL
The Semantic Web -- ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008.ISWC 2008
Matthew Horridge, Johannes Bauer, Bijan Parsia, and Ulrike Sattler
Understanding Entailments in OWL
Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, collocated with the 7th International Semantic Web Conference (ISWC-2008), Karlsruhe, Germany, October 26-27, 2008
Matthew Horridge and Peter F. Patel-Schneider
Manchester OWL Syntax for OWL 1.1
OWL: Experiences and Directions (OWLED)

2007

Robert Stevens, Mikel E. Aranguren, Katy Wolstencroft, Ulrike Sattler, Nicholas Drummond, Matthew Horridge, and Alan Rector
Using OWL to Model Biological Knowledge
International Journal of Human Computer Studies 7 (65) : 583-594
Aditya Kalyanpur, Bijan Parsia, Matthew Horridge, and Evren Sirin
Finding all Justifications of OWL DL Entailments
The Semantic Web - 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007
Matthew Horridge, Sean Bechhofer, and Olaf Noppens
Igniting the OWL 1.1 Touch Paper: The OWL API
OWL: Experiences and Directions (OWLED)
Matthew Horridge, Simon Jupp, Georgina Moulton, Alan Rector, Robert Stevens, and Chris Wroe
A Practical Guide To Building OWL Ontologies Using Protégé 4 and CO-ODE Tools
Christine Golbreic, Matthew Horridge, Ian Horrocks, Boris Motik, and Rob Shearer
OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences
The Semantic Web - 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007

2006

Matthew Horridge, Dmitry Tsarkov, and Timothy Redmond
Supporting Early Adoption of OWL 1.1 with Protégé-OWL and FaCT++
OWL: Experiences and Directions (OWLED)
Matthew Horridge, Nick Drummond, John Goodwin, Alan Rector, Robert Stevens, and Hai H Wang
The Manchester OWL Syntax
OWL: Experiences and Directions (OWLED)

2005

Hai H Wang, Matthew Horridge, Alan Rector, Nicholas Drummond, and Julian Seidenberg
Debugging OWL-DL Ontologies: A heuristic approach
The International Semantic Web Conference 2005, (ISWC 2005) Galway, Ireland

2004

Alan L. Rector, Nick Drummond, Matthew Horridge, Jeremy Rogers, Holger Knublauch, Robert Stevens, Hai Wang, and Chris Wroe
OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors \& Common Patterns
14th International Conference on Knowledge Engineering and Knowledge Management EKAW 2004, 5-8th October 2004 - Whittlebury Hall, Northamptonshire, UK