Python bindings for upgraded FaCT++ description logic reasoner
An ABox Evaluation and Comparison Tool for Ontologies.
An ontology about Beer, it's styles and ingredients.
