Maven Repository : net.sourceforge.owlapi : owlapi-reasoner

Reasoner 3.3