Group: it.unife.ml - All Dependencies

ECLIiPSe Java Interface · Java Interface for ECLIiPSe Prolog.

BUNDLE · BUNDLE is a reasoner for probabilistic description logics.

BDD Libraries · Jar containing shared libraries for building and using Binary Decision Diagrams (BDDs)

UniFe Math Libraries · Math libraries for arithmetic operations with doubles

JavaBDD-OSGi · Java Binary Decision Diagram for BUNDLE

ProbOWLAPI · This package encapsulates OWL API adding tools for managing DISPONTE probabilistic semantics. Used by the reasoner BUNDLE.

FaCTpp library · FaCTpp libraries for reasoner BUNDLE