Pinned Loading
Repositories
Showing 10 of 11 repositories
- graal-utility-tools Public
graphik-team/graal-utility-tools’s past year of commit activity - DEFT Public Forked from raouf2ouf/DEFT
DEFT is an opensource Java tool for Defeasible Datalog+/- reasoning.
graphik-team/DEFT’s past year of commit activity - graal-extra Public
graphik-team/graal-extra’s past year of commit activity - graal-examples Public
graphik-team/graal-examples’s past year of commit activity - 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 :
graphik-team/graal-stratified-negation’s past year of commit activity - pure-rewriter Public
graphik-team/pure-rewriter’s past year of commit activity
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…