 | 2012 |
| 34 |  | Pavel Klinov,
Matthew Horridge:
Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012
CEUR-WS.org 2012 |
| 2011 |
| 33 |  | Matthew Horridge,
Samantha Bail,
Bijan Parsia,
Ulrike Sattler:
The Cognitive Complexity of OWL Justifications.
Description Logics 2011 |
| 32 |  | 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 |
| 31 |  | Matthew Horridge,
Samantha Bail,
Bijan Parsia,
Ulrike Sattler:
The Cognitive Complexity of OWL Justifications.
International Semantic Web Conference (1) 2011: 241-256 |
| 30 |  | Samantha Bail,
Matthew Horridge,
Bijan Parsia,
Ulrike Sattler:
The Justificatory Structure of the NCBO BioPortal Ontologies.
International Semantic Web Conference (1) 2011: 67-82 |
| 29 |  | Katy Wolstencroft,
Stuart Owen,
Matthew Horridge,
Olga Krebs,
Wolfgang Mueller,
Jacky L. Snoep,
Franco du Preez,
Carole A. Goble:
RightField: embedding ontology annotation in spreadsheets.
Bioinformatics 27(14): 2021-2022 (2011) |
| 28 |  | Matthew Horridge,
Sean Bechhofer:
The OWL API: A Java API for OWL ontologies.
Semantic Web 2(1): 11-21 (2011) |
| 2010 |
| 27 |  | Matthew Horridge,
Bijan Parsia,
Ulrike Sattler:
Justification Masking in OWL.
Description Logics 2010 |
| 26 |  | Katy Wolstencroft,
Matthew Horridge,
Stuart Owen,
Wolfgang Mueller,
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 |
| 25 |  | Matthew Horridge,
Bijan Parsia,
Ulrike Sattler:
Justification Oriented Proofs in OWL.
International Semantic Web Conference (1) 2010: 354-369 |
| 24 |  | Matthew Horridge,
Bijan Parsia:
From Justifications Towards Proofs for Ontology Engineering.
KR 2010 |
| 23 |  | 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 |
| 22 |  | 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 |
| 21 |  | Simon Jupp,
Matthew Horridge,
Luigi Iannone,
Julie Klein,
Stuart Owen,
Joost Schanstra,
Robert Stevens,
Katy Wolstencroft:
Populous: A tool for populating ontology templates
CoRR abs/1012.1745: (2010) |
| 2009 |
| 20 |  | Matthew Horridge,
Bijan Parsia,
Ulrike Sattler:
Lemmas for Justifications in OWL.
Description Logics 2009 |
| 19 |  | Birte Glimm,
Matthew Horridge,
Bijan Parsia,
Peter F. Patel-Schneider:
A Syntax for Rules in OWL 2.
OWLED 2009 |
| 18 |  | Matthew Horridge,
Bijan Parsia,
Ulrike Sattler:
From Justifications to Proofs for Entailments in OWL.
OWLED 2009 |
| 17 |  | Matthew Horridge,
Sean Bechhofer:
The OWL API: A Java API for Working with OWL 2 Ontologies.
OWLED 2009 |
| 16 |  | Matthew Horridge,
Bijan Parsia,
Ulrike Sattler:
Explaining Inconsistencies in OWL Ontologies.
SUM 2009: 124-137 |
| 2008 |
| 15 |  | 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: 69-73 |
| 14 |  | Matthew Horridge,
Bijan Parsia,
Ulrike Sattler:
Laconic and Precise Justifications in OWL.
International Semantic Web Conference 2008: 323-338 |
| 13 |  | Matthew Horridge,
Bijan Parsia,
Ulrike Sattler:
Explanation of OWL Entailments in Protege 4.
International Semantic Web Conference (Posters & Demos) 2008 |
| 12 |  | 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 |
| 11 |  | Matthew Horridge,
Johannes Bauer,
Bijan Parsia,
Ulrike Sattler:
Understanding Entailments in OWL.
OWLED 2008 |
| 2007 |
| 10 |  | Christine Golbreich,
Matthew Horridge,
Ian Horrocks,
Boris Motik,
Rob Shearer:
OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences.
ISWC/ASWC 2007: 169-182 |
| 9 |  | Aditya Kalyanpur,
Bijan Parsia,
Matthew Horridge,
Evren Sirin:
Finding All Justifications of OWL DL Entailments.
ISWC/ASWC 2007: 267-280 |
| 8 |  | Matthew Horridge,
Sean Bechhofer,
Olaf Noppens:
Igniting the OWL 1.1 Touch Paper: The OWL API.
OWLED 2007 |
| 7 |  | Robert Stevens,
Mikel Egaña Aranguren,
Katy Wolstencroft,
Ulrike Sattler,
Nick Drummond,
Matthew Horridge,
Alan L. Rector:
Using OWL to model biological knowledge.
International Journal of Man-Machine Studies 65(7): 583-594 (2007) |
| 2006 |
| 6 |  | 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 |
| 5 |  | Matthew Horridge,
Dmitry Tsarkov:
Supporting Early Adoption of OWL 1.1 with Protege-OWL and FaCT++.
OWLED 2006 |
| 4 |  | Matthew Horridge,
Nick Drummond,
John Goodwin,
Alan L. Rector,
Robert Stevens,
Hai Wang:
The Manchester OWL Syntax.
OWLED 2006 |
| 2005 |
| 3 |  | Hai Wang,
Matthew Horridge,
Alan L. Rector,
Nick Drummond,
Julian Seidenberg:
Debugging OWL-DL Ontologies: A Heuristic Approach.
International Semantic Web Conference 2005: 745-757 |
| 2 |  | 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 |
| 2004 |
| 1 |  | 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: 63-81 |