Rulewerk
A Java library based on the VLog rule engine
Installation
The current release of Rulewerk is version 0.7.0. The easiest way of using the library is with Maven. Maven users must add the following dependency to the dependencies in their pom.xml file:
<dependency>
	<groupId>org.semanticweb.rulewerk</groupId>
	<artifactId>rulewerk-core</artifactId>
	<version>0.7.0</version>
</dependency>
Previous to version 0.6.0, rulewerk project name was vlog4j. Older versions released under name vlog4j have <groupId>org.semanticweb.vlog4j</groupId> and <artifactId>vlog4j-core</artifactId>, the latest version being version 0.5.0.
You need to use Java 1.8 or above. Available source modules include:
- rulewerk-core: essential data models for rules and facts, and essential reasoner functionality
- rulewerk-parser: support for processing knowledge bases in Rulewerk syntax
- rulewerk-graal: support for converting rules, facts and queries from Graal API objects and DLGP files
- rulewerk-rdf: support for reading from RDF files in Java (not required for loading RDF directly during reasoning)
- rulewerk-owlapi: support for converting rules from OWL ontology, loaded with the OWL API
- rulewerk-client: stand-alone application that builds a command-line client for Rulewerk.
- rulewerk-commands: support for running commands, as done by the client
- rulewerk-vlog: support for using VLog as a reasoning backend for Rulewerk.
The released rulewerk-vlog packages use vlog-java, which packages system-dependent VLog binaries for Linux, macOS, and Windows, and should work out of the box with current versions of these systems (for Linux, you will need at least libstdc++-v3.4.22; for macOS, you will need at least macOS 10.14). In case of problems, or if you are using the current development version, own binaries can be compiled as follows:
- (Optional) It is recommended to increase the version of vlog-java(inrulewerk-vlog/pom.xml) before executing the next steps.
- Delete (if existing) previous local builds (local_buildsdirectory).
- Run build-vlog-library.sh or execute the commands in this file manually. This will compile a local jar file on your system, copy it to rulewerk-vlog/lib/jvlog-local.jar, and install the new jar in your local Maven repository in place of the distributed version ofvlog-java.
- Run mvn installto test if the setup works.
Documentation
- The module rulewerk-examples includes short example programs that demonstrate various features and use cases
- The GitHub project Rulewerk Example shows how to use Rulewerk in own Maven projects and can be used as a skeleton for own projects
- JavaDoc is available online and through the Maven packages.
- A Rulewerk Wiki is available online, with detailed information about rulewerk usage, the supported rule language examples and grammar, and related publications.
Development
-  Pull requests are welcome. 
-  We largely follow Java Programming Style Guidelines published by Petroware. The main exception are the names of private members, which do not usually end in underscores in our code. 
-  The master branch may require a development version of VLog. Use the script build-vlog-library.shas shown here to create and install it on your machine. This will compile and installvlog-javadependency with the current code of VLog master branch.
-  Users of Eclipse should install the JavaCC Eclipse Plug-in to generate the parser sources. After installing the plugin, right-click on the file JavaCCParser.jjinorg.semanticweb.rulewerk.parser.javacc, and select "compile with javacc". This step needs to be repeated when the file changes.
-  To build the standalone client jar, run mvn install -Pclient. This generatesstandalone-rulewerk-client-[VERSION].jarinrulewerk-client/target.
-  The CI setup is documented here. 
 JarCasting
 JarCasting