GraphIK

graal Public
Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:

Java 38 10 6 7 Updated Sep 20, 2021
kiabora Public

Java 0 0 0 0 Updated Apr 4, 2019
graal-utility-tools Public

Java 0 0 0 0 Updated Apr 12, 2018
DEFT Public
DEFT is an opensource Java tool for Defeasible Datalog+/- reasoning.

Java 0 GPL-3.0 1 0 0 Updated Apr 12, 2018
graal-extra Public

Java 0 0 0 0 Updated Apr 11, 2018
graal-examples Public

Java 2 0 0 0 Updated Feb 9, 2018
graal-stratified-negation Public
A tool to compute and visualize the Graph of Rules Dependencies of an ontology composed of existential rules with default negation. It can compute a stratification if the rule base is stratifiable and apply forward chaining on a given fact base. See :

Java 0 3 0 0 Updated Sep 15, 2017
owl2dlgp Public

Java 0 0 0 0 Updated Jul 20, 2017
pure-rewriter Public

Java 0 0 0 0 Updated Jul 20, 2017
dlgp2ruleml Public

Java 0 0 0 0 Updated Jul 20, 2017

Pinned