Skip to content

Rulewerk v0.8.0
Compare
Choose a tag to compare
@irina-dragoste irina-dragoste released this 25 May 08:56
· 130 commits to master since this release
v0.8.0
5881256

The eighth release of the Java rule reasoning library Rulewerk, formally known as VLog4j.

Bugfixes:

  • Encoding of RDF strings corrected to make sure VLog succeeds joining on strings
  • Fixed handling of trident databases that are not a direct child of the current working directory
  • Fixed encoding of language-tagged strings that are used in Rulewerk facts, which had caused an exception
  • Several reasoning errors in VLog (backend) have been discovered and fixed in the version v1.3.5 used now.

The attached rulewerk-client-0.8.0.jar can be directly used to run Rulewerk from the command line.
It includes an interactive shell that is launched when running the jar without arguments.

The release uses vlog-java-1.3.5, which is the Maven artifact for the VLog rule engine release v1.3.5. It packages system-dependent binaries for Linux, MacOS, and Windows, and should work out of the box with current versions of these systems. In case of problems, own binaries can be compiled as described in the README.

This release includes the following modules, which are available in Maven Central in group org.semanticweb.rulewerk:

  • rulewerk-core: essential data models for rules and facts, and essential reasoner functionality
  • rulewerk-parser: support for processing knowledge bases in VLog4j syntax
  • rulewerk-rdf: support for reading from RDF files in Java (not required for loading RDF directly during reasoning)
  • rulewerk-graal: support for translating objects from the Graal rule library to VLog4j
  • rulewerk-owlapi: support for converting rules from OWL ontology, loaded with the OWL API
  • rulewerk-commands: support for running commands, as done by the client
  • rulewerk-client: stand-alone application that builds a command-line client for VLog4j.
  • rulewerk-vlog: support for using VLog as a reasoning backend for Rulewerk.

A Rulewerk Wiki is available online, with detailed information about our tool, the supported rule language examples and grammar, and related publications.

It is strongly encouraged to use Maven to include Rulewerk in your projects, as illustrated in the Rulewerk example project. We do not provide own jar files, but you can download jars manually from Maven Central if desired.

Assets 3
Loading