Multithread safe internals for the OWLAPI. Access with ThreadSafeOWLManager.

An API to simplify recurring tasks that use a reasoner. Uses OWLKnowledgeExplorerReasoner, which works with FaCT++ or JFact.

A reasoner independent, self contained implementation of atomic decomposition and modularisation. It is a port of the same tools implemented by Dmitry Tsarkov in FaCT++, but can be used in Java without JNI and without FaCT++.