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-dev] DL Query

Lorenz B. buehmann at informatik.uni-leipzig.de
Mon Jan 23 01:42:30 PST 2017


That error is not the reason for the message then. Something seems to be
wrong with the reasoner initialization.
Which error do you get? Can you please post the whole stack trace here,
which is shown when you click in the red triangle at the north east corner.
>
> Hello,
>
>  
>
> I am using latest protégé 5.1 desktop version.
>
>  
>
> I have selected HermiT 1.3.8.413  but it gives the error as stated in
> my previous email  when I start the reasoner from reasoner menu.
>
>  
>
>  
>
>  
>
>  
>
> Do I need to install any other plugin?
>
>  
>
> Thanks,
>
> Dipali
>
>  
>
> *From:*protege-dev [mailto:protege-dev-bounces at lists.stanford.edu] *On
> Behalf Of *kashyap sharma
> *Sent:* Sunday, January 22, 2017 10:08 AM
> *To:* Developer support for WebProtege and Protege Desktop
> <protege-dev at lists.stanford.edu>
> *Subject:* Re: [protege-dev] DL Query
>
>  
>
> To initialize reasoner you need to have some kind of reasoner. and
> kindly check you have mentioned followed information from the image.
> If you still have problem mail me again. Thank for checking out
> mistake, install latest protege 5.1 for better performance and
> compatible plugins only only or else it fail to start.
>
>  
>
> ------------------------------------------------------------------------
>
> *From:*protege-dev <protege-dev-bounces at lists.stanford.edu
> <mailto:protege-dev-bounces at lists.stanford.edu>> on behalf of Lorenz
> B. <buehmann at informatik.uni-leipzig.de
> <mailto:buehmann at informatik.uni-leipzig.de>>
> *Sent:* Saturday, January 21, 2017 5:35 PM
> *To:* protege-dev at mailman.Stanford.EDU
> <mailto:protege-dev at mailman.Stanford.EDU>
> *Subject:* Re: [protege-dev] DL Query
>
>  
>
> Start the reasoner as explained in the message, you should read it
> again carefully:
>
> "Go to the reasoner menu and select Start reasoner."
>
>
>
>     Hello ,
>
>      
>
>     I created the tutorial ontology
>
>      
>
>     I was trying to  write the DL query on this ontology.
>
>      
>
>     But if I start the reasoner from reasoner option, I am getting the
>     below  error.
>
>      
>
>      
>
>      
>
>     Is there anything specific that I need to set to start the reasoner?
>
>      
>
>     Attaching the developed ontology for reference.
>
>      
>
>     Thanks ,
>
>     Dipali
>
>      
>
>      
>
>      
>
>      
>
>      
>
>
>
>     _______________________________________________
>
>     protege-dev mailing list
>
>     protege-dev at lists.stanford.edu <mailto:protege-dev at lists.stanford.edu>
>
>     https://mailman.stanford.edu/mailman/listinfo/protege-dev
>
> -- 
> Lorenz Bühmann
> AKSW group, University of Leipzig
> Group: http://aksw.org - semantic web research center
>
>
> _______________________________________________
> protege-dev mailing list
> protege-dev at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-dev

-- 
Lorenz Bühmann
AKSW group, University of Leipzig
Group: http://aksw.org - semantic web research center

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-dev/attachments/20170123/44df7093/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/jpeg
Size: 40033 bytes
Desc: not available
URL: <http://mailman.stanford.edu/pipermail/protege-dev/attachments/20170123/44df7093/attachment.jpe>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/jpeg
Size: 17673 bytes
Desc: not available
URL: <http://mailman.stanford.edu/pipermail/protege-dev/attachments/20170123/44df7093/attachment-0001.jpe>


More information about the protege-dev mailing list