Using Proof to Reason about Errors in Ontology Construction

November 17th, 2005 by Louise

I’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.

Leave a Reply