I am curious about this and want to experiment. But I am a Mac user and all I could find was Java-based. I can't run Java applications on my Mac for an unknown reason and I'd prefer something native.
What are my options?
FaCT++ is a DL reasoner which supports OWL DL and (partially) OWL 2. It is implemented in C++ and there are OS X binaries available for download.
But in general I'd recommend you to fix your Java infrastructure on your Mac.