The graal-backward-chaining provides implementation for query rewriting algorithms.
'fr.lirmm.graphik:graal-backward-chaining:1.1.0'
<dependency>
<groupId>fr.lirmm.graphik</groupId>
<artifactId>graal-backward-chaining</artifactId>
<version>1.1.0</version>
</dependency>
<dependency org="fr.lirmm.graphik" name="graal-backward-chaining" rev="1.1.0"/>
"fr.lirmm.graphik", "graal-backward-chaining", "1.1.0"