Translation of OWL 2 RL axioms into Jena rules.
Install sbt (Scala Build Tool) on your system. For Mac OS X, it is easily done using Homebrew: brew install sbt. sbt requires a working Java installation, but you do not need to otherwise install Scala.
sbt compile
owl-to-rules is published under the terms of a BSD license. The FaCT++ reasoner is used to test reasoning results and can be obtained from its site according to the LGPL license.
