... | ... | @@ -6,7 +6,7 @@ To start working with the InteGraal library, you need to setup your working envi |
|
|
|
|
|
You need Java version >= 21 to use InteGraal.
|
|
|
- If you are not sure which version you have, you can open a terminal and use the `java --version` command.
|
|
|
- You can install java by following [the official oracle website](https://www.oracle.com/fr/java/)
|
|
|
- You can install java by following [the official oracle website](https://www.oracle.com/fr/java/).
|
|
|
|
|
|
### IDE
|
|
|
|
... | ... | @@ -83,14 +83,14 @@ When you execute the Main class, the `example.dlgp` file is parsed and a factbas |
|
|
The previous example includes rules but these are not taken into account for answering the queries. In this step we will add the reasoning part with a saturation approach.
|
|
|
|
|
|
If you want to get familiar with the library you can try to do so by yourself
|
|
|
- Hint: There is 2 lines of code to copy from the documentation
|
|
|
- Hint: There are 2 lines of code to copy from the documentation.
|
|
|
|
|
|
Otherwise, you can add the following 2 lines between the parsing of the data file and the evaluation of the queries :
|
|
|
Otherwise, you can add the following 2 lines between the parsing of the data file and the evaluation of the queries:
|
|
|
```
|
|
|
ForwardChainingAlgorithm chase = ChaseBuilder.defaultChase(fb, rb);
|
|
|
chase.execute();
|
|
|
```
|
|
|
- Don't forget the corresponding imports:
|
|
|
Don't forget the corresponding imports:
|
|
|
```
|
|
|
import fr.boreal.forward_chaining.chase.ChaseBuilder;
|
|
|
import fr.boreal.forward_chaining.api.ForwardChainingAlgorithm;
|
... | ... | |