Pinned Loading
Repositories
Showing 10 of 11 repositories
- graal-utility-tools Public
- DEFT Public Forked from raouf2ouf/DEFT
DEFT is an opensource Java tool for Defeasible Datalog+/- reasoning.
- graal-extra Public
- graal-examples Public
- graal-stratified-negation Public Forked from arthur-boixel/graal-stratified-negation
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 :
- pure-rewriter Public
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…