[protege-discussion] evalyation of ontology

[Timothy Redmond]

On 09/01/2010 01:08 AM, Tale Lawrence wrote:
> Thanks so much. I have used the reasoner and there was no 
> inconsistency. but you in the academics they still want some other 
> things like mathematical proofs for the research to be accepted. this 
> is the problem I am having.

Mathematical proofs of what?  I think that such an evaluation of the 
ontology would somehow depend on an analysis of what the ontology is  
intended  to do.

-Timothy

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-discussion/attachments/20100901/17fe5821/attachment.html>