Hoolet is an implementation of an OWL-DL and SWRL reasoner that uses a first order prover. The ontology and rules are translated to collection of axioms, and this collection of axioms is then given to a first order prover for consistency checking.

• Input Language: OWL, SWRL
• Intended Audience: Developers
• License: GNU Lesser General Public License (LGPL)
• Operating System: Linux
• Programming Language: Java
• Semantic Web Tool Categories: Reasoner