[protege-discussion] Reasoner

[Panagiotis Kokkinakos]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-discussion/attachments/20110530/2f6c07b1/attachment.html>