Plugin Pellet for Protégé 4.3

[Nicolas Figay]

Dear Pellet community,

following since a long time pellet and its usage with Protégé, I discovered that Pellet is not anymore the default plugin with version 4.3 of Protégé, and that it is not proposed as plugin download.
Any idea if just a question of time, or if it means that pellet will not anymore be proposed as plugin for Protégé?

Thanks in advance.

Nicolas

[christopel....@gmail.com]

i have same problem. any solution for this?

[Andrea Ciapetti]

I'm currently using Pellet and other reasoners in Protege 5.0 Beta. It's not the default reasoner, but you can download it using the plugins list.

Regards Andrea

--
You received this message because you are subscribed to the Google Groups "Pellet Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pellet-users...@googlegroups.com.
To post to this group, send email to pellet...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/pellet-users/8fb47f59-d759-4fcb-bfe1-6c587a58d9a1%40googlegroups.com.

[Nicolas Boulet-Lavoie]

Hi,

Having the same issue. Can't import the plugin into Protegé. Can you provide a link to the JAR file please? It's also not present in the 5.0 version (there is no Pellet JAR file)

Thanks
Nicolas

[Andrea Ciapetti]

Hi Nicolas and Cristophel,

as I said in the previous email I installed the Pellet reasoner plugin and had the plugin working in a previous installation of Protege 5.0 beta (in my Linux machine). Probably the plugin is no more available since Pellet has migrated its site from the Clarks & Parsia one to GitHub. I've also downloaded and compiled Pellet 2.3.1 from source, but no plugin artifact is generated in the build.

The plugin have been lost in the migration, I don't know exactly when and why....

Anyway I made the plugin available on my Dropbox in JAR binary format.

Here's the link: https://dl.dropboxusercontent.com/u/31395874/com.clarkparsia.protege.plugin.pellet.jar

Just tested with a fresh installation of Protege 4.3 and it worked fine (place it in the plugins folder of your Protege installation).

Best Andrea

---------------------------------- 
Andrea Ciapetti

Email: andrea....@gmail.com

Mobile: +39 320 6197534
----------------------------------

--

You received this message because you are subscribed to the Google Groups "Pellet Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pellet-users...@googlegroups.com.
To post to this group, send email to pellet...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/pellet-users/499342a3-4b3e-4236-b717-c27236993266%40googlegroups.com.

[Evren Sirin]

The code for Pellet Protege plugin and the latest plugin jar is in
github now [1]. If you change the plugin registry location in Protege
to point to [2] you should be able to install the Pellet plugin. The
link in the main Protege plugin registry will be updated soon after
which things should work with default settings.

Best,
Evren

[1] https://github.com/Complexible/pellet/tree/master/protege
[2] https://raw.githubusercontent.com/Complexible/pellet/master/protege/plugin/plugins.repository

> https://groups.google.com/d/msgid/pellet-users/CAAaTSTQeawpAjbdKRwpAoXJo-ZYRvVJ%3DXt_CTX_hie_RVMngGw%40mail.gmail.com.

[Lars Scheel]

Hi, i want to use the plugin with the option USE_CONTINUOUS_RULES=true
can i somehow rebuild the jar file with that option enabled?

[Ignazio Palmisano]

On 6 Aug 2015 14:29, "Lars Scheel" <larshelg...@gmail.com> wrote:
>
> Hi, i want to use the plugin with the option USE_CONTINUOUS_RULES=true
> can i somehow rebuild the jar file with that option enabled?
>

Yes, you can change the configuration and rebuild the plugin using the ant or maven scripts included.
I.

> To view this discussion on the web visit https://groups.google.com/d/msgid/pellet-users/943d1a07-4811-43b7-88cd-caaf61674432%40googlegroups.com.

[Lars Scheel]

Thank you for the fast reply.
When I tried to rebuild with the change in "/pellet-master/protege/src/main/java/com/clarkparsia/protege/plugin/pellet/PelletReasonerFactory.java"

etc...         
        PelletOptions.IGNORE_UNSUPPORTED_AXIOMS = false;
        PelletOptions.USE_CONTINUOUS_RULES = true;
        PelletOptions.SILENT_UNDEFINED_ENTITY_HANDLING = true;
...etc

with "mvn install" (from the protege dir)
a jar file was created "/pellet-master/protege/target/pellet-protege-2.3.2-SNAPSHOT.jar"

but it did not seem to be the right thing, the old jar file "/pellet-master/protege/plugin/com.clarkparsia.protege.plugin.pellet.jar"
was not overwritten as far as I can tell.

(sry for my bad english)

[Lars Scheel]

Ok, I understand now.
One rebuilds the class files and puts them into the plugin jar by hand.

[Rawad Hammad]

Hi

I got this error when I run the pellet.jar file. 

no main manifest attribute, in com.clarkparsia.protege.plugin.pellet.jar

I used this command to run it

C:\propellet>java -jar com.clarkparsia.protege.plugin.pellet.jar

Any suggestions?

Thanks 

[Ignazio Palmisano]

On 19 August 2015 at 11:51, Rawad Hammad <rawa...@gmail.com> wrote:
> Hi
>
> I got this error when I run the pellet.jar file.
> no main manifest attribute, in com.clarkparsia.protege.plugin.pellet.jar
>
> I used this command to run it
>
> C:\propellet>java -jar com.clarkparsia.protege.plugin.pellet.jar
>
> Any suggestions?

That jar is a Protege plugin, so it is not run by itself, but added to
a Protege installation. If you copy the jar in the plugins folder of a
Protege installation, you will see Pellet appearing as one of the
options when you select a reasoner in Protege.

Cheers,
I.

> https://groups.google.com/d/msgid/pellet-users/38f44a3b-9427-4c6b-ab57-ad727077ee67%40googlegroups.com.

[Rawad Hammad]

I have added the jar file to list of the files existed in plugin folder in my protege, turning on my protege, changed the path of the protege plugin registry. But was not able to find pellet in the list of reasoners. 

That was the reason. Probably I need an extra step to get the pellet appeared in the menu. Any suggestions?

Thanks 

[Rawad Hammad]

Oh. It is resolved now. Pellet appeared in my protege becuase I changed to another version where protege is seperated from Java. In my old system I used installed java and protege together but the instructions to run pellet did not work.

thansk 

[Yash Kesarwani]

I am having the same problem. I have installed Protege 4.3.0 on my windows 10. I cannot get the Pellet plugin from github. When I tried updating the plugins using https://raw.githubusercontent.com/Complexible/pellet/master/protege/plugin/plugins.repository this link, the message said "No downloads available this time". Also the link you provided is not active. Will you please send me jar file for the same or a link from where I can get the plugin?

To unsubscribe from this group and stop receiving emails from it, send an email to pellet...@googlegroups.com.

To post to this group, send email to pellet...@googlegroups.com.