https://github.com/balhoff/owl-to-rules

Translation of OWL 2 RL axioms into Jena rules
https://github.com/balhoff/owl-to-rules

jena jena-rules owl scala

Last synced: 6 months ago
JSON representation

Translation of OWL 2 RL axioms into Jena rules

• Host: GitHub
• URL: https://github.com/balhoff/owl-to-rules
• Owner: balhoff
• License: bsd-3-clause
• Created: 2017-01-03T15:39:23.000Z (almost 9 years ago)
• Default Branch: master
• Last Pushed: 2024-07-22T10:03:14.000Z (about 1 year ago)
• Last Synced: 2025-03-25T11:01:35.829Z (7 months ago)
• Topics: jena, jena-rules, owl, scala
• Language: Scala
• Homepage:
• Size: 1.56 MB
• Stars: 4
• Watchers: 2
• Forks: 1
• Open Issues: 10
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt

Awesome Lists containing this project

README

          
[![Maven Central](https://maven-badges.herokuapp.com/maven-central/org.geneontology/owl-to-rules_2.13/badge.svg)](https://maven-badges.herokuapp.com/maven-central/org.geneontology/owl-to-rules_2.13)

# 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](http://brew.sh):  `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](https://opensource.org/licenses/BSD-3-Clause). The FaCT++ reasoner is used to test reasoning results and can be obtained from [its site](https://bitbucket.org/dtsarkov/factplusplus) according to the [LGPL license](https://opensource.org/licenses/LGPL-2.1).