Cyclic Proofs and Coinductive Principles. - Gavin Mendel-Gleason; Geoff W. Hamilton (PAR@ITP, 2010)

Ontology Consistency and Instance Checking for Real World Linked Data. - Gavin Mendel-Gleason; Kevin Feeney; Rob Brennan (LDQ@ESWC, 2015)

Describing Reasoning Results with RVO, the Reasoning Violations Ontology. - Bojan Bozic; Rob Brennan; Kevin Feeney; Gavin Mendel-Gleason (MEPDaW/LDQ@ESWC, 2016)

Building the Seshat Ontology for a Global History Databank. - Rob Brennan; Kevin Feeney; Gavin Mendel-Gleason; Bojan Bozic; Peter Turchin; Harvey Whitehouse; Pieter Francois; Thomas E. Currie; Stephanie Grohmann (ESWC, 2016)

Linked data schemata: Fixing unsound foundations. - Kevin Chekov Feeney; Gavin Mendel-Gleason; Rob Brennan (Semantic Web, 2018)