Protege, FaCT++

The old RACER OWL reasoner is no longer open source, but I found a decent replacement called FaCT++.