Gavin Mendel-Gleason

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 3

Top Topics

Data Publishing

Top Venues

MEPDaW/LDQ@ESWC

Publications

Kevin Chekov Feeney, Gavin Mendel-Gleason, Rob Brennan
Linked data schemata: Fixing unsound foundations. Semantic Web 9 (1) (2018)
Bojan Bozic, Rob Brennan, Kevin Feeney, Gavin Mendel-Gleason
Describing Reasoning Results with RVO, the Reasoning Violations Ontology. MEPDaW/LDQ@ESWC (2016)
Rob Brennan, Kevin Feeney, Gavin Mendel-Gleason, Bojan Bozic, Peter Turchin, Harvey Whitehouse, Pieter Francois, Thomas E. Currie, Stephanie Grohmann
Building the Seshat Ontology for a Global History Databank. ESWC (2016)
Gavin Mendel-Gleason, Kevin Feeney, Rob Brennan
Ontology Consistency and Instance Checking for Real World Linked Data. LDQ@ESWC (2015)
Gavin Mendel-Gleason, Geoff W. Hamilton
Cyclic Proofs and Coinductive Principles. PAR@ITP (2010)