Search filters

List of works by Matthew Horridge

A Study on the Atomic Decomposition of Ontologies

scientific article published at ISWC 2014

Debugging OWL-DL Ontologies: A Heuristic Approach

scientific article published in ISWC 2005

Explanation of OWL Entailments in Protege 4

scientific article published in iswc2008 posters and demonstrations

Extracting Justifications from BioPortal Ontologies

scientific article published at ISWC 2012

Finding All Justifications of OWL DL Entailments

scientific article published in ISWC 2007

Justification Oriented Proofs in OWL

scientific article published in ISWC 2010

Laconic and Precise Justifications in OWL

OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences

scientific article (publication date: 2007)

Rightfield: Embedding Ontology Term Selection into Spreadsheets for the Annotation of Biological Data

scientific article published in proceedings of the iswc 2010 posters & demonstrations track: collected abstracts

Simplified OWL Ontology Editing for the Web: Is WebProtégé Enough?

scientific article published at ISWC 2013

The Cognitive Complexity of OWL Justifications

scientific article published in ISWC 2011

The Justificatory Structure of the NCBO BioPortal Ontologies

Toward Predicting Impact of Changes in Evolving Knowledge Graphs

scientific article published in proceedings of the iswc 2019 satellite tracks (posters & demonstrations, industry, and outrageous ideas)

Use of OWL and Semantic Web Technologies at Pinterest

scientific article

Using SPARQL to query bioportal ontologies and metadata

conference paper published in 2012

WebProtégé 3.0 - Collaborative OWL Ontology Engineering in the Cloud

scientific article published in proceedings of the iswc 2018 posters & demonstrations, industry and blue sky ideas tracks