Using Proof to Reason about Errors in Ontology Construction
November 17th, 2005 by LouiseI’ve written up the FP lunch stuff I spoke about 3? weeks ago as a Dream Group Blue Book note which I’ve also put on the web at Using Proof to Reason about Errors in Ontology Construction.