Demo Data from VLDB 2026 / reviewers in the wild / expert
Matthew Horridge
dblp:82/6909
· DBLP profile ↗
25ranked-venue papers
12as first author
0since 2021 · last 2020
0000-0001-8921-6593ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Databases, data management, data science and information retrieval · 12 · 6 first-authorApplied, interdisciplinary, general and emerging computing · 6 · 3 first-authorArtificial intelligence and machine learning · 5 · 4 first-authorHuman-computer interaction and ubiquitous computing · 3 · 1 first-authorTheory of computation · 2 · 2 first-authorSystems, architecture and hardware · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Artificial intelligence
4 papers |
Knowledge representation and reasoning · 100% | |
| Interdisciplinary, comprehensive, and emerging computing
3 papers |
Bioinformatics and computational biology · 100% | |
| Theoretical computer science
1 paper |
Logic in computer science · 50% Automated reasoning and model checking · 50% | |
| Human-computer interaction and pervasive computing
1 paper |
User interface design and tools · 50% Usability and user experience research · 50% |
Topics — the 8 heaviest of 10, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Bioinformatics and computational biology › knowledge representation in biology
biomedical ontology |
0.3 | 2 | 2014 | WebProtégé: a collaborative Web-based platform for editing biomedical ontologies · Bioinform. 2014 RightField: embedding ontology annotation in spreadsheets · Bioinform. 2011 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › ontology
ontology engineering |
0.2 | 1 | 2015 | Helping Users Bootstrap Ontologies: An Empirical Investigation · CHI 2015 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › ontology › ontology engineering
collaborative ontology building |
0.2 | 1 | 2014 | WebProtégé: a collaborative Web-based platform for editing biomedical ontologies · Bioinform. 2014 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
ontology |
0.2 | 2 | 2012 | Justification Masking in Ontologies · KR 2012 Using OWL to model biological knowledge · Int. J. Hum. Comput. Stud. 2007 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › ontology
ontology debugging |
0.1 | 1 | 2012 | Justification Masking in Ontologies · KR 2012 |
Automated reasoning and model checking
automated reasoning |
0.1 | 1 | 2010 | From Justifications Towards Proofs for Ontology Engineering · KR 2010 |
Logic in computer science › knowledge representation and reasoning
description logic |
0.1 | 1 | 2010 | From Justifications Towards Proofs for Ontology Engineering · KR 2010 |
User interface design and tools › authoring tools
ontology authoring tools |
0.1 | 1 | 2015 | Helping Users Bootstrap Ontologies: An Empirical Investigation · CHI 2015 |
Methods — techniques the papers use, named apart from their topics
recommendation-based knowledge reuse · 0.4controlled user study · 0.4OWL 2 · 0.4justification masking · 0.1OWL · 0.1ontology term restriction · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2020 | Modular Structures and Atomic Decomposition in OntologiesabstractWith the growth of ontologies used in diverse application areas, the need for module extraction and modularisation techniques has risen. The notion of the modular structure of an ontology, which comprises a suitable set of base modules together with their logical dependencies, has the potential to help users and developers in comprehending, sharing, and maintaining an ontology. We have developed a new modular structure, called atomic decomposition (AD), which is based on modules that provide strong logical properties, such as locality-based modules. In this article, we present the theoretical foundations of AD, review its logical and computational properties, discuss its suitability as a modular structure, and report on an experimental evaluation of AD. In addition, we discuss the concept of a modular structure in ontology engineering and provide a survey of existing decomposition approaches. Chiara Del Vescovo, Matthew Horridge, Bijan Parsia, Ulrike Sattler, Thomas Schneider 0002, Haoruo Zhao |
J. Artif. Intell. Res. | 2 |
| 2019 | Use of OWL and Semantic Web Technologies at Pinterest
Rafael S. Gonçalves 0001, Matthew Horridge, Mark A. Musen, Csongor Nyulas, Evelyn Obamos, Dhananjay Shrouty, David Temple |
ISWC (2) | 2 |
| 2015 | Helping Users Bootstrap Ontologies: An Empirical InvestigationabstractAn ontology is a machine processable artifact that captures knowledge about some domain of interest. Ontologies are used in various domains including healthcare, science, and commerce. In this paper we examine the ontology bootstrapping problem. Specifically, we look at an approach that uses both competency questions and knowledge source reuse via recommendations to address the "cold start problem" that is, the task of creating an ontology from scratch. We describe this approach, an implementation of it, and we present an evaluation in the form of a controlled user study. We find that the approach leads users into creating significantly more detailed initial ontologies that have a greater domain coverage than ontologies produced without this support. Furthermore, in spite of a more involved workflow, the usability and user satisfaction of the bootstrapping approach is as good as a state-of-the-art ontology editor with no additional support. Yuhao Zhang 0004, Tania Tudorache, Matthew Horridge, Mark A. Musen |
CHI | 3 |
| 2014 | Reasoning Based Quality Assurance of Medical Ontologies: A Case Study
Matthew Horridge, Bijan Parsia, Natasha F. Noy, Mark A. Musen |
AMIA | 1 |
| 2014 | A Domain Specific Ontology Authoring Environment for a Clinical Documentation SystemabstractWe present a domain specific ontology editor for viewing, updating and managing a clinical documentation knowledge base. The editor is designed to allow clinical content specialists, who do not have a working knowledge of OWL, Semantic Web technologies or knowledge engineering, to quickly generate ontologies that describe clinical documentation templates along with rich bi-directional mappings between these documentation template ontologies and biomedical domain ontologies. While the editor has been designed and implemented for a specific use-case, many of the novel design choices are applicable to more traditional ontology editing environments. Furthermore, we believe that the workflow that is promoted by the editing environment and the partitioning and arrangement of the ontologies that are compiled by the editor are applicable to more general scenarios where two sets of ontologies corresponding to different application sub-domains need to be edited side-by-side and mapped between using a set of binding ontologies. Matthew Horridge, Sebastian Brandt 0001, Bijan Parsia, Alan L. Rector |
CBMS | 1 |
| 2014 | A Study on the Atomic Decomposition of Ontologies
Matthew Horridge, Jonathan Mortensen, Bijan Parsia, Ulrike Sattler, Mark A. Musen |
ISWC (2) | 1 |
| 2014 | WebProtégé: a collaborative Web-based platform for editing biomedical ontologiesabstractUNLABELLED: WebProtégé is an open-source Web application for editing OWL 2 ontologies. It contains several features to aid collaboration, including support for the discussion of issues, change notification and revision-based change tracking. WebProtégé also features a simple user interface, which is geared towards editing the kinds of class descriptions and annotations that are prevalent throughout biomedical ontologies. Moreover, it is possible to configure the user interface using views that are optimized for editing Open Biomedical Ontology (OBO) class descriptions and metadata. Some of these views are shown in the Supplementary Material and can be seen in WebProtégé itself by configuring the project as an OBO project. AVAILABILITY AND IMPLEMENTATION: WebProtégé is freely available for use on the Web at http://webprotege.stanford.edu. It is implemented in Java and JavaScript using the OWL API and the Google Web Toolkit. All major browsers are supported. For users who do not wish to host their ontologies on the Stanford servers, WebProtégé is available as a Web app that can be run locally using a Servlet container such as Tomcat. Binaries, source code and documentation are available under an open-source license at http://protegewiki.stanford.edu/wiki/WebProtege. Matthew Horridge, Tania Tudorache, Csongor Nyulas, Jennifer Vendetti, Natasha F. Noy, Mark A. Musen |
Bioinform. | 1 |
| 2013 | Simplified OWL Ontology Editing for the Web: Is WebProtégé Enough?
Matthew Horridge, Tania Tudorache, Jennifer Vendetti, Csongor Nyulas, Mark A. Musen, Natasha F. Noy |
ISWC (1) | 1 |
| 2013 | Stealthy annotation of experimental biology by spreadsheetsabstractSUMMARY The increase in volume and complexity of biological data has led to increased requirements to reuse that data. Consistent and accurate metadata is essential for this task, creating new challenges in semantic data annotation and in the constriction of terminologies and ontologies used for annotation. The BioSharing community are developing standards and terminologies for annotation, which have been adopted across bioinformatics, but the real challenge is to make these standards accessible to laboratory scientists. Widespread adoption requires the provision of tools to assist scientists whilst reducing the complexities of working with semantics. This paper describes unobtrusive ‘stealthy’ methods for collecting standards compliant, semantically annotated data and for contributing to ontologies used for those annotations. Spreadsheets are ubiquitous in laboratory data management. Our spreadsheet‐based RightField tool enables scientists to structure information and select ontology terms for annotation within spreadsheets, producing high quality, consistent data without changing common working practices. Furthermore, our Populous spreadsheet tool proves effective for gathering domain knowledge in the form of Web Ontology Language (OWL) ontologies. Such a corpus of structured and semantically enriched knowledge can be extracted in Resource Description Framework (RDF), providing further means for searching across the content and contributing to Open Linked Data ( http://linkeddata.org/ ). Copyright © 2012 John Wiley & Sons, Ltd. Katy Wolstencroft, Stuart Owen, Matthew Horridge, Simon Jupp, Olga Krebs, Jacky L. Snoep, Franco B. du Preez, Wolfgang Müller 0001, Robert Stevens 0001, Carole A. Goble |
Concurr. Comput. Pract. Exp. | 3 |
| 2013 | Toward cognitive support for OWL justifications
Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler |
Knowl. Based Syst. | 1 |
| 2012 | Applications of Ontology Design Patterns in Biomedical Ontologies
Jonathan Mortensen, Matthew Horridge, Mark A. Musen, Natasha F. Noy |
AMIA | 2 |
| 2012 | RightField: Scientific Knowledge Acquisition by Stealth through Ontology-Enabled Spreadsheets
Katy Wolstencroft, Stuart Owen, Matthew Horridge, Wolfgang Müller 0001, Finn Bacall, Jacky L. Snoep, Franco B. du Preez, Quyen Nguyen, Olga Krebs, Carole A. Goble |
EKAW | 3 |
| 2012 | Justification Masking in Ontologies
Matthew Horridge, Bijan Parsia, Ulrike Sattler |
KR | 1 |
| 2012 | Extracting Justifications from BioPortal Ontologies
Matthew Horridge, Bijan Parsia, Ulrike Sattler |
ISWC (2) | 1 |
| 2012 | Using SPARQL to Query BioPortal Ontologies and Metadata
Manuel Salvadores, Matthew Horridge, Paul R. Alexander, Ray W. Fergerson, Mark A. Musen, Natasha F. Noy |
ISWC (2) | 2 |
| 2012 | Populous: a tool for building OWL ontologies from templatesabstractOntologies are being developed for the life sciences to standardise the way we describe and interpret the wealth of data currently being generated. As more ontology based applications begin to emerge, tools are required that enable domain experts to contribute their knowledge to the growing pool of ontologies. There are many barriers that prevent domain experts engaging in the ontology development process and novel tools are needed to break down these barriers to engage a wider community of scientists. We present Populous, a tool for gathering content with which to construct an ontology. Domain experts need to add content, that is often repetitive in its form, but without having to tackle the underlying ontological representation. Populous presents users with a table based form in which columns are constrained to take values from particular ontologies. Populated tables are mapped to patterns that can then be used to automatically generate the ontology's content. These forms can be exported as spreadsheets, providing an interface that is much more familiar to many biologists. Populous's contribution is in the knowledge gathering stage of ontology development; it separates knowledge gathering from the conceptualisation and axiomatisation, as well as separating the user from the standard ontology authoring environments. Populous is by no means a replacement for standard ontology editing tools, but instead provides a useful platform for engaging a wider community of scientists in the mass production of ontology content. Simon Jupp, Matthew Horridge, Luigi Iannone, Julie Klein 0002, Stuart Owen, Joost Schanstra, Katy Wolstencroft, Robert Stevens 0001 |
BMC Bioinform. | 2 |
| 2011 | The Justificatory Structure of the NCBO BioPortal Ontologies
Samantha Bail, Matthew Horridge, Bijan Parsia, Ulrike Sattler |
ISWC (1) | 2 |
| 2011 | The Cognitive Complexity of OWL Justifications
Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler |
ISWC (1) | 1 |
| 2011 | RightField: embedding ontology annotation in spreadsheetsabstractMOTIVATION: In the Life Sciences, guidelines, checklists and ontologies describing what metadata is required for the interpretation and reuse of experimental data are emerging. Data producers, however, may have little experience in the use of such standards and require tools to support this form of data annotation. RESULTS: RightField is an open source application that provides a mechanism for embedding ontology annotation support for Life Science data in Excel spreadsheets. Individual cells, columns or rows can be restricted to particular ranges of allowed classes or instances from chosen ontologies. The RightField-enabled spreadsheet presents selected ontology terms to the users as a simple drop-down list, enabling scientists to consistently annotate their data. The result is 'semantic annotation by stealth', with an annotation process that is less error-prone, more efficient, and more consistent with community standards. AVAILABILITY AND IMPLEMENTATION: RightField is open source under a BSD license and freely available from http://www.rightfield.org.uk Katy Wolstencroft, Stuart Owen, Matthew Horridge, Olga Krebs, Wolfgang Müller 0001, Jacky L. Snoep, Franco B. du Preez, Carole A. Goble |
Bioinform. | 3 |
| 2010 | From Justifications Towards Proofs for Ontology Engineering
Matthew Horridge, Bijan Parsia |
KR | 1 |
| 2010 | Justification Oriented Proofs in OWL
Matthew Horridge, Bijan Parsia, Ulrike Sattler |
ISWC (1) | 1 |
| 2008 | Laconic and Precise Justifications in OWL
Matthew Horridge, Bijan Parsia, Ulrike Sattler |
ISWC | 1 |
| 2007 | Using OWL to model biological knowledge
Robert Stevens 0001, Mikel Egaña Aranguren, Katy Wolstencroft, Ulrike Sattler, Nick Drummond, Matthew Horridge, Alan L. Rector |
Int. J. Hum. Comput. Stud. | 6 |
| 2005 | Debugging OWL-DL Ontologies: A Heuristic Approach
Hai Wang 0014, Matthew Horridge, Alan L. Rector, Nick Drummond, Julian Seidenberg |
ISWC | 2 |
| 2004 | OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns
Alan L. Rector, Nick Drummond, Matthew Horridge, Jeremy Rogers, Holger Knublauch, Robert Stevens 0001, Hai Wang 0014, Chris Wroe |
EKAW | 3 |