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


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the protege-discussion mailing list