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 gmail.com
Wed Sep 1 08:54:24 PDT 2010


Tale,

DL-reasoner proves many theorems automatically. For ex. that class is
inconsistent.
If they need to check your ability to prove then do prove class
inconsistency or consistency yourself.

Alex

2010/9/1 Tale Lawrence <noellope2007 at gmail.com>

> 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.
>
>
>
> On Wed, Sep 1, 2010 at 2:23 AM, Timothy Redmond <tredmond at stanford.edu>wrote:
>
>>  On 08/30/2010 07:30 PM, Tale Lawrence wrote:
>>
>> Dear All, Please can anyone help me with tutorial that can simply guide me
>> through evaluating the ontology i just built using OWL protege 3.4.1.
>> Thanks.
>>
>>
>> I don't think that this is a very good answer but one thing that you can
>> do is to run a reasoner and see if there are any unexpected conclusions.
>> The most obvious unexpected conclusion would be that the ontology is
>> inconsistent or that some classes that you wanted to use are inconsistent.
>>
>> I think that the above is a good thing to do but it is far from being
>> enough.  But in this level of generality I am not sure what to tell you.
>> Perhaps someone else will be able to give you a more comprehensive answer.
>>
>> -Timothy
>>
>>
>>
>>
>>
>> _______________________________________________
>> protege-discussion mailing listprotege-discussion at lists.stanford.eduhttps://mailman.stanford.edu/mailman/listinfo/protege-discussion
>>
>>
>> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
>>
>>
>>
>> _______________________________________________
>> protege-discussion mailing list
>> protege-discussion at lists.stanford.edu
>> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>>
>> Instructions for unsubscribing:
>> http://protege.stanford.edu/doc/faq.html#01a.03
>>
>>
>
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>
> Instructions for unsubscribing:
> http://protege.stanford.edu/doc/faq.html#01a.03
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-discussion/attachments/20100901/1c66075c/attachment.html>


More information about the protege-discussion mailing list