Search Mailing List Archives
[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