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

Alex Shkotin alex.shkotin at
Wed Sep 1 22:02:45 PDT 2010


it is like -

you: my ontology is consistent.

he: show me your proof.

you: I did not prove it. DL-reasoner has told me.

he: but what about your own proof?


2010/9/1 Timothy Redmond <tredmond at>

>  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
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at
> Instructions for unsubscribing:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the protege-discussion mailing list