Nottingham FP Lab Blog

Using Proof to Reason about Errors in Ontology Construction

by Louise on November 17, 2005.
Tagged as: Lunches.

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.

comments powered by Disqus