Matthew Horridge

Publication Activity (10 Years)

Years Active: 2004-2020
Publications (10 Years): 13

Top Venues

ICBO

ISWC (2)

OWLED

CoRR

University of Manchester, UK (PHD)

Education History

University of Manchester, UK

PHD

Publications

Chiara Del Vescovo, Matthew Horridge, Bijan Parsia, Uli Sattler, Thomas Schneider, Haoruo Zhao
Modular Structures and Atomic Decomposition in Ontologies. J. Artif. Intell. Res. 69 (2020)
Rafael S. Gonçalves, Matthew Horridge, Rui Li, Yu Liu, Mark A. Musen, Csongor I. Nyulas, Evelyn Obamos, Dhananjay Shrouty, David Temple
Use of OWL and Semantic Web Technologies at Pinterest. CoRR (2019)
Rafael S. Gonçalves, Matthew Horridge, Rui Li, Yu Liu, Mark A. Musen, Csongor I. Nyulas, Evelyn Obamos, Dhananjay Shrouty, David Temple
Use of OWL and Semantic Web Technologies at Pinterest. ISWC (2) (2019)
Matthew Horridge, Rafael S. Gonçalves, Csongor I. Nyulas, Tania Tudorache, Mark A. Musen
WebProtégé: A Cloud-Based Ontology Editor. WWW (Companion Volume) (2019)
Matthew Horridge, Rafael S. Gonçalves, Csongor I. Nyulas, Mark A. Musen
WebProtégé: A Cloud-Based Ontology Editor. CoRR (2019)
Romana Pernischová, Daniele Dell'Aglio, Matthew Horridge, Matthias Baumgartner, Abraham Bernstein
Toward Predicting Impact of Changes in Evolving Knowledge Graphs. ISWC (Satellites) (2019)
Matthew Horridge, Rafael S. Gonçalves, Csongor I. Nyulas, Tania Tudorache, Mark A. Musen
Protégé 5.5 - Improvements for Editing Biomedical Ontologies. ICBO (2018)
Konstantin Schekotihin, Patrick Rodler, Wolfgang Schmid, Matthew Horridge, Tania Tudorache
A Protégé Plug-In for Test-Driven Ontology Development. ICBO (2018)
Matthew Horridge, Rafael S. Gonçalves, Csongor I. Nyulas, Tania Tudorache, Mark A. Musen
WebProtégé 3.0 - Collaborative OWL Ontology Engineering in the Cloud. ISWC (P&D/Industry/BlueSky) (2018)
Konstantin Schekotihin, Patrick Rodler, Wolfgang Schmid, Matthew Horridge, Tania Tudorache
Test-Driven Ontology Development in Protégé. ICBO (2018)
Cogan Shimizu, Pascal Hitzler, Matthew Horridge
Rendering OWL in Description Logic Syntax. ESWC (Satellite Events) (2017)
Matthew Horridge, Mark A. Musen
Snap-SPARQL: A Java Framework for Working with SPARQL and OWL. OWLED (2015)
Yuhao Zhang, Tania Tudorache, Matthew Horridge, Mark A. Musen
Helping Users Bootstrap Ontologies: An Empirical Investigation. CHI (2015)
Matthew Horridge, Bijan Parsia, Natasha F. Noy, Mark A. Musen
Reasoning Based Quality Assurance of Medical Ontologies: A Case Study. AMIA (2014)
Matthew Horridge, Jonathan Mortensen, Bijan Parsia, Ulrike Sattler, Mark A. Musen
A Study on the Atomic Decomposition of Ontologies. ISWC (2) (2014)
Matthew Horridge, Sebastian Brandt, Bijan Parsia, Alan L. Rector
A Domain Specific Ontology Authoring Environment for a Clinical Documentation System. CBMS (2014)
Matthew Horridge, Tania Tudorache, Csongor Nyulas, Mark A. Musen
WebProtégé: a Web-based Development Environment for OWL Ontologies. OWLED (2014)
Matthew Horridge, Tania Tudorache, Csongor Nyulas, Jennifer Vendetti, Natalya Fridman Noy, Mark A. Musen
WebProtégé: a collaborative Web-based platform for editing biomedical ontologies. Bioinform. 30 (16) (2014)
Matthew Horridge, Samantha Bail, Bijan Parsia, Uli Sattler
Toward cognitive support for OWL justifications. Knowl. Based Syst. 53 (2013)
Matthew Horridge, Jonathan Mortensen, Tania Tudorache, Jennifer Vendetti, Csongor Nyulas, Mark A. Musen, Natalya Fridman Noy
Introducing WebProtégé 2 as a Collaborative Platform for Editing Biomedical Ontologies. ICBO (2013)
Katherine Wolstencroft, Stuart Owen, Matthew Horridge, Simon Jupp, Olga Krebs, Jacky L. Snoep, Franco B. du Preez, Wolfgang Müller, Robert Stevens, Carole A. Goble
Stealthy annotation of experimental biology by spreadsheets. Concurr. Comput. Pract. Exp. 25 (4) (2013)
Matthew Horridge, Timothy Redmond, Tania Tudorache, Mark A. Musen
Binary OWL. OWLED (2013)
Matthew Horridge, Tania Tudorache, Jennifer Vendetti, Csongor Nyulas, Mark A. Musen, Natalya Fridman Noy
Simplified OWL Ontology Editing for the Web: Is WebProtégé Enough? ISWC (1) (2013)
Matthew Horridge, Bijan Parsia, Ulrike Sattler
Justification Masking in Ontologies. KR (2012)
Jonathan Mortensen, Matthew Horridge, Mark A. Musen, Natalya Fridman Noy
Applications of Ontology Design Patterns in Biomedical Ontologies. AMIA (2012)
Manuel Salvadores, Matthew Horridge, Paul R. Alexander, Ray W. Fergerson, Mark A. Musen, Natalya Fridman Noy
Using SPARQL to Query BioPortal Ontologies and Metadata. ISWC (2) (2012)
Jonathan Mortensen, Matthew Horridge, Mark A. Musen, Natalya Fridman Noy
Modest Use of Ontology Design Patterns in a Repository of Biomedical Ontologies. WOP (2012)
Katy Wolstencroft, Stuart Owen, Matthew Horridge, Wolfgang Müller, Finn Bacall, Jacky L. Snoep, Franco B. du Preez, Quyen Nguyen, Olga Krebs, Carole A. Goble
RightField: Scientific Knowledge Acquisition by Stealth through Ontology-Enabled Spreadsheets. EKAW (2012)
Matthew Horridge, Bijan Parsia, Ulrike Sattler
Extracting Justifications from BioPortal Ontologies. ISWC (2) (2012)
Matthew Horridge, Mikel Egaña Aranguren, Jonathan Mortensen, Mark A. Musen, Natalya Fridman Noy
Ontology Design Pattern Language Expressivity Requirements. WOP (2012)
Simon Jupp, Matthew Horridge, Luigi Iannone, Julie Klein, Stuart Owen, Joost Schanstra, Katy Wolstencroft, Robert Stevens
Populous: a tool for building OWL ontologies from templates. BMC Bioinform. 13 (S-1) (2012)
Alan L. Rector, Sebastian Brandt, Nick Drummond, Matthew Horridge, Colin Puleston, Robert Stevens
Engineering use cases for modular development of ontologies in OWL. Appl. Ontology 7 (2) (2012)
Simon Jupp, Matthew Horridge, Luigi Iannone, Julie Klein, Stuart Owen, Joost Schanstra, Katy Wolstencroft, Robert Stevens
Populous: A Tool for Populating an Ontology. ICBO (2011)
Matthew Horridge, Sean Bechhofer
The OWL API: A Java API for OWL ontologies. Semantic Web 2 (1) (2011)
Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler
The Cognitive Complexity of OWL Justifications. ISWC (1) (2011)
Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler
The Cognitive Complexity of OWL Justifications. Description Logics (2011)
Samantha Bail, Matthew Horridge, Bijan Parsia, Ulrike Sattler
The Justificatory Structure of the NCBO BioPortal Ontologies. ISWC (1) (2011)
Katy Wolstencroft, Stuart Owen, Matthew Horridge, Olga Krebs, Wolfgang Müller, Jacky L. Snoep, Franco B. du Preez, Carole A. Goble
RightField: embedding ontology annotation in spreadsheets. Bioinform. 27 (14) (2011)
Simon Jupp, Matthew Horridge, Luigi Iannone, Julie Klein, Stuart Owen, Joost Schanstra, Robert Stevens, Katy Wolstencroft
Populous: A Tool for Populating Templates for OWL Ontologies. SWAT4LS (2010)
Simon Jupp, Matthew Horridge, Luigi Iannone, Julie Klein, Stuart Owen, Joost Schanstra, Robert Stevens, Katy Wolstencroft
Populous: A tool for populating ontology templates CoRR (2010)
Matthew Horridge, Bijan Parsia, Ulrike Sattler
Justification Oriented Proofs in OWL. ISWC (1) (2010)
Janna Hastings, Michel Dumontier, Duncan Hull, Matthew Horridge, Christoph Steinbeck, Robert Stevens, Ulrike Sattler, Tertia Hörne, Katarina Britz
Representing Chemicals Using OWL, Description Graphs and Rules. OWLED (2010)
Katy Wolstencroft, Matthew Horridge, Stuart Owen, Wolfgang Müller, Finn Bacall, Jacky L. Snoep, Olga Krebs, Carole A. Goble
Rightfield: Embedding Ontology Term Selection into Spreadsheets for the Annotation of Biological Data. ISWC (Posters & Demos) (2010)
Matthew Horridge, Bijan Parsia
From Justifications Towards Proofs for Ontology Engineering. KR (2010)
Matthew Horridge, Bijan Parsia, Ulrike Sattler
Justification Masking in OWL. Description Logics (2010)
Matthew Horridge, Sean Bechhofer
The OWL API: A Java API for Working with OWL 2 Ontologies. OWLED (2009)
Matthew Horridge, Bijan Parsia, Ulrike Sattler
Lemmas for Justifications in OWL. Description Logics (2009)
Birte Glimm, Matthew Horridge, Bijan Parsia, Peter F. Patel-Schneider
A Syntax for Rules in OWL 2. OWLED (2009)
Matthew Horridge, Bijan Parsia, Ulrike Sattler
Explaining Inconsistencies in OWL Ontologies. SUM (2009)
Matthew Horridge, Bijan Parsia, Ulrike Sattler
From Justifications to Proofs for Entailments in OWL. OWLED (2009)
Matthew Horridge, Johannes Bauer, Bijan Parsia, Ulrike Sattler
Understanding Entailments in OWL. OWLED (2008)
Thorsten Liebig, Marko Luther, Olaf Noppens, Mariano Rodriguez, Diego Calvanese, Michael Wessel, Matthew Horridge, Sean Bechhofer, Dmitry Tsarkov, Evren Sirin
OWLlink: DIG for OWL 2. OWLED (2008)
Matthew Horridge, Bijan Parsia, Ulrike Sattler
Explanation of OWL Entailments in Protege 4. ISWC (Posters & Demos) (2008)
Matthew Horridge, Bijan Parsia, Ulrike Sattler
Laconic and Precise Justifications in OWL. ISWC (2008)
Matthew Horridge, Peter F. Patel-Schneider
Manchester Syntax for OWL 1.1. OWLED (Spring) (2008)
Alan L. Rector, Matthew Horridge, Nick Drummond
Building Modular Ontologies and Specifying Ontology Joining, Binding, Localizing and Programming Interfaces in Ontologies Implemented in OWL. AAAI Spring Symposium: Symbiotic Relationships between Semantic Web and Knowledge Engineering (2008)
Aditya Kalyanpur, Bijan Parsia, Matthew Horridge, Evren Sirin
Finding All Justifications of OWL DL Entailments. ISWC/ASWC (2007)
Christine Golbreich, Matthew Horridge, Ian Horrocks, Boris Motik, Robert D. C. Shearer
OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences. ISWC/ASWC (2007)
Matthew Horridge, Sean Bechhofer, Olaf Noppens
Igniting the OWL 1.1 Touch Paper: The OWL API. OWLED (2007)
Robert Stevens, Mikel Egaña Aranguren, Katy Wolstencroft, Ulrike Sattler, Nick Drummond, Matthew Horridge, Alan L. Rector
Using OWL to model biological knowledge. Int. J. Hum. Comput. Stud. 65 (7) (2007)
Nick Drummond, Alan L. Rector, Robert Stevens, Georgina Moulton, Matthew Horridge, Hai Wang, Julian Seidenberg
Putting OWL in Order: Patterns for Sequences in OWL. OWLED (2006)
Matthew Horridge, Nick Drummond, John Goodwin, Alan L. Rector, Robert Stevens, Hai Wang
The Manchester OWL Syntax. OWLED (2006)
Matthew Horridge, Dmitry Tsarkov
Supporting Early Adoption of OWL 1.1 with Protege-OWL and FaCT++. OWLED (2006)
Hai Wang, Matthew Horridge, Alan L. Rector, Nick Drummond, Julian Seidenberg
Debugging OWL-DL Ontologies: A Heuristic Approach. ISWC (2005)
Holger Knublauch, Matthew Horridge, Mark A. Musen, Alan L. Rector, Robert Stevens, Nick Drummond, Phillip W. Lord, Natalya Fridman Noy, Julian Seidenberg, Hai Wang
The Protege OWL Experience. OWLED (2005)
Alan L. Rector, Nick Drummond, Matthew Horridge, Jeremy Rogers, Holger Knublauch, Robert Stevens, Hai Wang, Chris Wroe
OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns. EKAW (2004)

Matthew Horridge.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthew Horridge