Are there semantic reasoners which are compatible with the Web Ontology Language, running natively on the Mac?

I am curious about this and want to experimen开发者_JAVA技巧t. 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.

I believe Racer Pro has a native interface on Mac OS X. It is not free though: license scheme. You can request a trial license.

I agree with Kaarel though; you may want to fix your Java on Mac first. See if you can find anything in the Java security updates.