GRAAL software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS | InformationSystems_DATABASEMANAGEMENT | InformationSystems_INFORMATIONSTORAGEANDRETRIEVAL

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