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

Tole Dipali ToleDipali at
Mon Jan 23 01:36:54 PST 2017


I am using latest protégé 5.1 desktop version.

I have selected HermiT  but it gives the error as stated in my previous email  when I start the reasoner from reasoner menu.

[cid:image003.jpg at 01D2758A.554249F0]

Do I need to install any other plugin?


From: protege-dev [mailto:protege-dev-bounces at] On Behalf Of kashyap sharma
Sent: Sunday, January 22, 2017 10:08 AM
To: Developer support for WebProtege and Protege Desktop <protege-dev at>
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<mailto:protege-dev-bounces at>> on behalf of Lorenz B. <buehmann at<mailto:buehmann at>>
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.

[cid:image001.jpg at 01D27559.E860E8D0]

Is there anything specific that I need to set to start the reasoner?

Attaching the developed ontology for reference.

Thanks ,


protege-dev mailing list

protege-dev at<mailto:protege-dev at>


Lorenz Bühmann

AKSW group, University of Leipzig

Group: - semantic web research center
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image001.jpg
Type: image/jpeg
Size: 17673 bytes
Desc: image001.jpg
URL: <>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image003.jpg
Type: image/jpeg
Size: 40033 bytes
Desc: image003.jpg
URL: <>

More information about the protege-dev mailing list