Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-discussion] evalyation of ontology

Timothy Redmond tredmond at stanford.edu
Wed Sep 1 12:17:31 PDT 2010


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>


More information about the protege-discussion mailing list