Skip to the content.

💻 User Guide


The main functionality of GSat is to compute the saturation of a set of GTGDs. To do this, download the JAR file available with the releases and use the command line:

java -jar guarded-saturation-1.0.0-jar-with-dependencies.jar <syntax> <TGD file>

where <syntax> is the one of the syntax dlgp, owl and <TGD file> is a file containing the input GTGDs in the syntax <syntax>.

By default, the output saturation is printed in the console, it can be written to a file instead by setting write_output to true in the file


Consider a DLGP file example.dlgp that contains the following two TGDs:

b(X, Y), c(Y) :-  a(X).
d(X) :- b(X, Y), c(Y).


java -jar guarded-saturation-1.0.0-jar-with-dependencies.jar dlgp example.dlgp

returns the saturation containing:

b(X, Y), c(Y) :-  a(X).
d(X) :- a(X).

The choice of the saturation algorithm

This project implements different saturation algorithms. You can set the algorithm to use by changing saturation_alg’s value in the file to either:

Additionally, KAON2 can be used to get the saturation of the set of TGDs in an OWL file using the following command:

java -cp guarded-saturation-1.0.0-jar-with-dependencies.jar '' <OWL file> <timeout>

where the <timeout> is expressed in seconds.

Running the saturation on Chase Bench

Moreover, the ChaseBench format can also be used for the input.

To run on a ChaseBench scenario, you need to specify the cb option and add: