Overview

Graal is dedicated to ontology-mediated query answering. This task consists of computing the answers to a (conjunctive) query over a knowledge base composed of facts (data) and an ontology, given as a set of existential rules.

Graal is composed of eight modules: