search

protegeproject / protege-distribution

Build files for the protege distribution that includes 3rd party plugins
BSD 2-Clause "Simplified" License
125 stars 39 forks source link

Add Pellet 2.4 #21

Closed JulioJu closed 5 years ago

JulioJu commented 5 years ago

Hi !

Pellet seams to be a very famous reasoner. Why don't add it in this release of Protege ?

The main advantage of Pellet is its support of custom Datatypes. HermiT does not support custom Datatypes.

Version 2.4 could be build from sources at https://github.com/stardog-union/pellet with oracle-jdk11 or openjdk11 (but not jdk12 as "javac -source and -target Options, support for the 6/1.6 argument value for javac's -source, -target, and --release flags has been removed." https://www.oracle.com/technetwork/java/javase/12-relnote-issues-5211422.html )

Thanks in advance !

matthewhorridge commented 5 years ago

Pellet is available via auto-update in Protege. The distribution of Pellet is controlled by Stardog Union.

By the way, there's no version 2.4 release (it's just a snapshot build - and it's not clear if there are actually any real changes between 2.4-snapshot or whether it was just a bump in version number).

Zack-83 commented 4 years ago

Sorry to contradict you, but Pellet is not included in the present release. I had to download it by hand from https://github.com/stardog-union/pellet/tree/master/protege/plugin.