VLog4j v0.3.0

The third release of the Java bindings for the VLog rule engine. Some of the major features of this release are:

• Support for Graal data structures (conversion from Graal model to VLog model objects)
• Stratified negation: rule bodies are conjunctions of positive or negated literals
• SPARQL-based data sources: load remote data from SPARQL endpoints
• Acyclicity and cyclicity checks: JA, RJA, MFA, RMFA, RFC, as well as a generic method that checks whether given set or rules and fact predicates are acyclic, cyclic, or undetermined

The release uses vlog4j-base-1.2.1, which is the Maven artefact for the bugfix release version of VLog rule engine. vlog4j-base 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 on master.

As the previous release, this release includes the following modules, which are available in Maven Central in group org.semanticweb.vlog:

• vlog4j-core: essential data models for rules and facts, and essential reasoner functionality
• vlog4j-rdf: support for reading from RDF files
• vlog4j-graal: support for translating objects from the Graal rule library to VLog4j
• vlog4j-owlapi: support for converting rules from OWL ontology, loaded with the OWL API
  It is strongly encouraged to use Maven to include vlog4j in your projects, and we do not provide own jar files (but you can, in theory, download jars manually from Maven Central).