GitHub repository: Acidburn0zzz/elk-reasoner
Primary language: Java
Description: A Java-based OWL 2 EL reasoner