GitHub repository: wolpertinger-reasoner/Wolpertinger
Primary language: Java
Created: 2015-04-30T08:27:18Z
Description: Wolpertinger: A Fixed-Domain Reasoner for OWL