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.
精彩评论