Published September 10, 2024
| Version v2.0.0
Software
Open
Guarded Saturation
-
1.
University of Oxford
-
2.
Université Clermont Auvergne
- 3. Technical University of Munich
Description
The software implements several resolution-based rewriting algorithms from Guarded Tuple-Generating Dependencies (GTGDs) to Datalog, along with some functions for running the resulting Datalog rules.
Files
Guarded-saturation-2.0.0.zip
Files
(46.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:c6a1e0b79e0d8c051cfc7ba49c340484
|
23.0 MB | Download |
|
md5:e51538d0352f4832acb6114127b8082d
|
23.1 MB | Preview Download |
Additional details
Additional titles
- Subtitle
- Rewriting Guarded Tuple-Generating Dependencies to Datalog
Software
- Repository URL
- https://github.com/KRR-Oxford/Guarded-saturation
- Development Status
- Active