balhoff / owl-to-rules

Translation of OWL 2 RL axioms into Jena/Arachne rules

GitHub

Build Status Maven Central

owl-to-rules

Translation of OWL 2 RL axioms into Jena rules.

Building

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

License

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.