GitHub repository: Complexible/pellet
Primary language: Web Ontology Language
Description: Pellet is an OWL 2 reasoner in Java; open source (AGPL) and commercially licensed, commercial support available.