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