ExistentialRules0.2.0
This repo contains formalizations around Existential Rules (aka. Tuple-Generating Dependencies) with disjunctions and the Chase algorithm. Mostly this will be about (basics of) my own formal works.
1-3 of 3 versions of ExistentialRules
Sort by
Date
- 0.2
0.2.0v4.29.013.2 MB - 0.2
0.2.0v0.2.0v4.29.0 0d36908v0.1.0v4.7.0