fr.lirmm.graphik:graal-store-rdbms

Graal is a java toolkit dedicated to ontological query answering in the framework of existential rules. We consider knowledge bases composed of data and an ontology expressed by existential rules. The main features of Graal are the following: a basic layer that provides generic interfaces to store and query various kinds of data, forward chaining and query rewriting algorithms, structural analysis of decidability properties of a rule set, a textual format and its parser, and import of OWL 2 files. We describe in more detail the query rewriting algorithms, which rely on original techniques, and report some experiments.


Keywords
ai, datalog, knowledge-base, logical-knowledge-inference, logical-knowledge-representation, rule-engine
License
Other

Documentation

Graal

See Graal homepage

How to build graal?

  • install git
  • clone the repository
  git clone https://github.com/graphik-team/graal.git
  • build the project
mvn package

How to generate Javadoc?

mvn javadoc:javadoc
mvn javadoc:aggregate

How to check code with code analyzer?

mvn pmd:check
mvn findbugs:check

How to build graal when you don't want to get all stuff maven brings?

./prepare_ant.sh
ant