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 04:12:18 PDT 2011


We may think that HermiT has done classifying.
You should send somehow Fact++ log or your ontology.
You know, to reproduce an error.

For ex. in my case Fact++ issued "unsupported datatype ...
XMLSchema#decimal"
But HermiT do works.

Alex

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

> For the HermiT case the log is:
>
> "Initializing the reasoner by performing the following steps:
>      class hierarchy
>      object property hierarchy
>      data property hierarchy
>      class assertions
>      object property assertions
>      same individuals
> HermiT 1.3.4 classified in 1047ms"
>
> For the Fact++ case there is a pretty long log, that starts with "error
> report"
>
> On Mon, May 30, 2011 at 1:12 PM, Alex Shkotin <alex.shkotin at gmail.com>wrote:
>
>> 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
>>>
>>>
>>
>> _______________________________________________
>> 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/20110530/47267f63/attachment.html>


More information about the protege-discussion mailing list