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