/owl-to-rules

Translation of OWL 2 RL axioms into Jena rules

Primary LanguageScalaBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

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.