Search Mailing List Archives
[protege-discussion] evalyation of ontology
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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the protege-discussion