Repositories list

• sudoqual-framework

  Public
  Framework Sudoqual

  Java

  •

  MIT License

  •2•0•0•0•Updated Jul 5, 2022Jul 5, 2022

• graal

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

  airule-enginedatalog+ 3logical-knowledge-representationlogical-knowledge-inferenceknowledge-base

  Java

  •

  Other

  •12•46•6•7•Updated Jun 21, 2022Jun 21, 2022

• kiabora

  Public
  Java

  •0•0•0•0•Updated Apr 4, 2019Apr 4, 2019

• graal-utility-tools

  Public
  Java

  •0•0•0•0•Updated Apr 12, 2018Apr 12, 2018

• DEFT

  Public
  DEFT is an opensource Java tool for Defeasible Datalog+/- reasoning.

  Java

  •

  GNU General Public License v3.0

  •1•0•0•0•Updated Apr 12, 2018Apr 12, 2018

• graal-extra

  Public
  Java

  •

  Other

  •0•0•0•0•Updated Apr 11, 2018Apr 11, 2018

• graal-examples

  Public
  Java

  •0•2•0•0•Updated Feb 9, 2018Feb 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

  •3•0•0•0•Updated Sep 15, 2017Sep 15, 2017

• owl2dlgp

  Public
  Java

  •0•0•0•0•Updated Jul 20, 2017Jul 20, 2017

• pure-rewriter

  Public
  Java

  •0•0•0•0•Updated Jul 20, 2017Jul 20, 2017

• dlgp2ruleml

  Public
  Java

  •0•0•0•0•Updated Jul 20, 2017Jul 20, 2017