Pellet is an OWL 2 reasoner in Java; open source (AGPL) and commercially licensed, commercial support available.
Web Ontology Language Java HTML GAP Shell CSS
Permalink
Failed to load latest commit information.
cli Merge branch 'master' of git://github.com/ignazio1977/pellet into ign… Aug 12, 2015
core Fix the NPE in ContinuousRealInterval.equals Aug 12, 2015
distribution Merge branch 'master' of git://github.com/ignazio1977/pellet into ign… Aug 12, 2015
doc Import Pellet 2.3.0 source code from svn into git Apr 10, 2013
examples Merge branch 'master' of git://github.com/ignazio1977/pellet into ign… Aug 12, 2015
explanation Merge branch 'master' of git://github.com/ignazio1977/pellet into ign… Aug 12, 2015
jena Merge branch 'master' of git://github.com/ignazio1977/pellet into ign… Aug 12, 2015
licensing update fork artifact names Apr 23, 2015
misc Import Pellet 2.3.0 source code from svn into git Apr 10, 2013
modularity Simplify and streamline module extraction Aug 14, 2015
owlapi Use builtin OWLAxiom.getSignature function Aug 13, 2015
pellint Merge branch 'master' of git://github.com/ignazio1977/pellet into ign… Aug 12, 2015
profiler Merge branch 'master' of git://github.com/ignazio1977/pellet into ign… Aug 12, 2015
protege Merge branch 'master' of git://github.com/ignazio1977/pellet into ign… Aug 12, 2015
query Merge branch 'master' of git://github.com/ignazio1977/pellet into ign… Aug 12, 2015
release-scripts Convert Pellet to build using Maven Jan 20, 2014
test Simplify and streamline module extraction Aug 14, 2015
.gitignore Ignore IntelliJ artifacts Aug 12, 2015
ACKNOWLEDGMENTS.txt Import Pellet 2.3.0 source code from svn into git Apr 10, 2013
BUGS.txt Import Pellet 2.3.0 source code from svn into git Apr 10, 2013
CHANGES.txt Update change log May 7, 2013
HOW_TO_FILE_PELLET_BUG_REPORT.txt Import Pellet 2.3.0 source code from svn into git Apr 10, 2013
LICENSE.txt Import Pellet 2.3.0 source code from svn into git Apr 10, 2013
README.md Update README.md Mar 23, 2015
agpl-3.0.txt Import Pellet 2.3.0 source code from svn into git Apr 10, 2013
build-analysis.xml Import Pellet 2.3.0 source code from svn into git Apr 10, 2013
build.xml Update deployment config May 7, 2013
pellet.bat Import Pellet 2.3.0 source code from svn into git Apr 10, 2013
pellet.sh Convert Pellet to build using Maven Jan 20, 2014
pom.xml Merge branch 'master' of git://github.com/ignazio1977/pellet into ign… Aug 12, 2015

README.md

Pellet: An Open Source OWL DL reasoner for Java

Gitter

Pellet is the OWL 2 DL reasoner:

Pellet can be used with Jena or OWL-API libraries. Pellet provides functionality to check consistency of ontologies, compute the classification hierarchy, explain inferences, and answer SPARQL queries.

Pellet 3.0, a closed source, next-gen version of Pellet, is embedded and available in Stardog, the RDF database.

Feel free to fork this repository and submit pull requests if you want to see changes, new features, etc. in Pellet.

Documentation about how to use Pellet is in the doc/ directory and there are some code samples in the examples/ directory.

Commercial support for Pellet is available. The Pellet FAQ answers some frequently asked questions.

There is a pellet-users mailing list for questions and feedback. You can search pellet-users archives. Bug reports and enhancement requests should be sent to the mailing list. Issues are on Github.

Thanks for using Pellet.