LPMtool aims to be a complete package management and software distribution solution. It includes basic command line and PyGTK-based utilities for installing and removing packages, as well as tools to publish Web-based package repositories that use a GPG-based web-of-trust security model.
Surnia can check an OWL ontology/knowledge base for inconsistency and entailments. It is implemented as a wrapper around first-order theorem prover (OTTER, for now at least). Unlike Hoolet (which turns the OWL into FOL), Surnia just turns the OWL into triples and mixes in axioms.