knowledge/pellet

Open source reasoner for OWL 2 DL in Java
Directory:
knowledge/pellet (package's history)
Package version:
pellet-2.3.0
Home page:
http://clarkparsia.com/pellet
License:
gnu-agpl-v3
Source archive:
https://www.openrobots.org/distfiles/pellet-2.3.0.zip
Description:
Pellet is an open source reasoner for OWL 2 DL in Java. It provides standard and cutting-edge reasoning services for OWL ontologies.
Run dependencies:
jena>=2.6.4, openjdk>=1.6
Build dependencies:
digest>=20080510, gcc>=3, install-sh, pax, pkg_install>=20110805.12, tnftp>=20130505~ssl, unzip
General options:
debug
Produce debugging information for binary programs
doc
Install pellet documentation
c-compiler alternatives:
gcc
Use the GNU C compiler
clang
Use the LLVM C compiler
ccache-gcc
Use ccache and the GNU C compiler
ccache-clang
Use ccache and the LLVM C compiler
java alternatives:
openjdk
Use openjdk JVM
sun
Use sun JVM

For a summary on how to use the package collection, see the README.html. robotpkg is designed to permit easy installation from source - particularly useful if the latest binary package is not available for your chosen platform.

Problem reports, updates or suggestions for this package should be reported via the mailing list, see https://sympa.laas.fr/sympa/info/robotpkg for more information and subscription.

This page was generated on Tue Apr 23 20:19:43 CEST 2024.