Gavin Mendel-Gleason

According to our database, Gavin Mendel-Gleason authored at least 5 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Linked data schemata: Fixing unsound foundations.

Kevin Chekov Feeney, Gavin Mendel-Gleason, Rob Brennan

Semantic Web, 2018

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

Proceedings of the Semantic Web. Latest Advances and New Domains, 2016

Describing Reasoning Results with RVO, the Reasoning Violations Ontology.

Bojan Bozic, Rob Brennan, Kevin Feeney, Gavin Mendel-Gleason

Proceedings of the Joint Proceedings of the 2nd Workshop on Managing the Evolution and Preservation of the Data Web (MEPDaW 2016) and the 3rd Workshop on Linked Data Quality (LDQ 2016) co-located with 13th European Semantic Web Conference (ESWC 2016), 2016

2015

Ontology Consistency and Instance Checking for Real World Linked Data.

Gavin Mendel-Gleason, Kevin Feeney, Rob Brennan

Proceedings of the 2nd Workshop on Linked Data Quality co-located with 12th Extended Semantic Web Conference (ESWC 2015), 2015

2010

Cyclic Proofs and Coinductive Principles.

Gavin Mendel-Gleason, Geoff W. Hamilton

Proceedings of the Partiality and Recursion in Interactive Theorem Provers, 2010