Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
-
Updated
Jun 21, 2022 - Java
Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
Masters degree's project that aims to extend the logic to incorporate lies
Add a description, image, and links to the logical-knowledge-representation topic page so that developers can more easily learn about it.
To associate your repository with the logical-knowledge-representation topic, visit your repo's landing page and select "manage topics."