Skip to content

v0.9.0

Latest
Latest
Compare
Choose a tag to compare
@irina-dragoste irina-dragoste released this 07 Jan 12:41
· 14 commits to master since this release
v0.9.0
58d8e92
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

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

Bugfixes:

  • The parser now accepts empty prefixes, as allowed by, e.g., RDF Turtle. (#206)
  • [rulewerk-owlapi] Axioms of type DisjointClasses and DisjointObjectProperties are no longer ignored, and are now translated into corresponding rules. (#209)
  • String constants in long ("foo"^^<http://www.w3.org/2001/XMLSchema#string>) and short notation ("foo") and are now interchangeable.
  • Several reasoning errors in VLog (backend) have been discovered and fixed in the version and fixed in the version v1.3.7 used now.

The attached rulewerk-client-0.9.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.7, which is the Maven artifact for the VLog rule engine release v1.3.7. 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