Semantic Web Dog Food

Homepage: http://www.cs.man.ac.uk/~horridgm
Affiliation: University of Manchester (at ISWC2007+ASWC2007, ISWC2008, ISWC2009, ISWC2010, ISWC2011, OCAS2011)

The following publications of Matthew Horridge are available:

• OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences (at ISWC2007+ASWC2007)
• Finding all Justifications of OWL DL Entailments (at ISWC2007+ASWC2007)
• Explanation of OWL Entailments in Protege 4 (at ISWC2008)
• Laconic and Precise Justifications in OWL (at ISWC2008)
• Understanding Justifications for Entailments in OWL (at ISWC2009)
• Justification Oriented Proofs in OWL (at ISWC2010)
• RightField: Embedding Ontology Term Selection into Spreadsheets for the Annotation of Biological Data (at ISWC2010)
• The Justificatory Structure of the NCBO BioPortal Ontologies (at ISWC2011)
• The Cognitive Complexity of OWL Justifications (at ISWC2011)
• Igniting the OWL 1.1 Touch Paper: The OWL API (at OWLED2007)

We also know of the following roles that Matthew Horridge played:

• Reviewer of ISWC 2010 (at ISWC2010)
• PC Member at ISWC2011 (Poster and Demonstration Track) (at ISWC2011)
• PC Member at ISWC2011 (Research Track) (at ISWC2011)
• PC Member at ISWC2011 (OCAS Workshop) (at OCAS2011)

Resource URI on the dog food server: http://data.semanticweb.org/person/matthew-horridge
Email Hash: 29c0127871609390f3d73c72c9418cc2936ac0f8
Email Hash: 438beea172aa101432d81db30da3a87db30e1dc1
Other Web pages: http://ontoworld.org/wiki/Matthew_Horridge
Same as: http://ontoworld.org/wiki/Special:URIResolver/Matthew_Horridge
See also: http://ontoworld.org/wiki/Special:ExportRDF/Matthew_Horridge