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] Reasoner

Alex Shkotin alex.shkotin at gmail.com
Mon May 30 03:12:05 PDT 2011


Hi Pan,

at least at Protege.exe DOS window you should see protocol of resoner
activity.
Do you have one?

Alex

2011/5/30 Panagiotis Kokkinakos <kokkinakos.pan at gmail.com>

> Hello again,
>
> I'm currently using Protege 4.1.0 and i have a problem with the reasoning
> procedure. Neither FaCT++ nor HermiT 1.3.4 seem to work.
>
> The second one seems to run but gives no output at all (just after i press
> "start reasoner" a new small window opens and closes 2-3 seconds later,
> giving no log and nothing different in the inferred class hierarchy) and the
> first one has an exception error.
>
> I've also tried FaCT++ in Protege 4.0 and still no result.
>
> Can anyone give me any tip?
>
> Many thanks in advance!
>
> --
> Kokkinakos Ch. Panagiotis
>
> _______________________________________________
> 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/20110530/2c08227d/attachment.html>


More information about the protege-discussion mailing list