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:
ftp://ftp.openrobots.org/pub/openrobots/pellet-2.3.0.zip
http://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.7, tnftp>=20091122, 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