Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Matthew Horridge

dblp:82/6909 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Bioinformatics and computational biology › knowledge representation in biology
biomedical ontology
0.322014
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.212015
Helping Users Bootstrap Ontologies: An Empirical Investigation · CHI 2015
Knowledge, reasoning and agents › Knowledge representation and reasoning › ontology › ontology engineering
collaborative ontology building
0.212014
WebProtégé: a collaborative Web-based platform for editing biomedical ontologies · Bioinform. 2014
Knowledge, reasoning and agents › Knowledge representation and reasoning
ontology
0.222012
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.112012
Justification Masking in Ontologies · KR 2012
Automated reasoning and model checking
automated reasoning
0.112010
From Justifications Towards Proofs for Ontology Engineering · KR 2010
Logic in computer science › knowledge representation and reasoning
description logic
0.112010
From Justifications Towards Proofs for Ontology Engineering · KR 2010
User interface design and tools › authoring tools
ontology authoring tools
0.112015
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
YearPublicationVenuePosition
2020 Modular Structures and Atomic Decomposition in Ontologies
abstract
With 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 Investigation
abstract
An 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
CHI3
2014 Reasoning Based Quality Assurance of Medical Ontologies: A Case Study
Matthew Horridge, Bijan Parsia, Natasha F. Noy, Mark A. Musen
AMIA1
2014 A Domain Specific Ontology Authoring Environment for a Clinical Documentation System
abstract
We 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
CBMS1
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 ontologies
abstract
UNLABELLED: 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 spreadsheets
abstract
SUMMARY 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
AMIA2
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
EKAW3
2012 Justification Masking in Ontologies
Matthew Horridge, Bijan Parsia, Ulrike Sattler
KR1
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 templates
abstract
Ontologies 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 spreadsheets
abstract
MOTIVATION: 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
KR1
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
ISWC1
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
ISWC2
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
EKAW3