augment before checking consistency

Julien LepillerSun Apr 05 04:15:18+0200 2020

322ee95

guile-rdf/rdf/entailment
namelast commitdate
d.scmFix arguments for consistency checksSun Apr 05 04:10:34+0200 2020
rdf.scmaugment before checking consistencySun Apr 05 04:15:18+0200 2020
rdfs.scmaugment before checking consistencySun Apr 05 04:15:18+0200 2020
simple.scmAdd RDF entailment regimeSat Apr 04 00:47:35+0200 2020