Add RDFS entailments

Julien LepillerSat Apr 04 18:49:38+0200 2020

725334b

guile-rdf/rdf/entailment
namelast commitdate
d.scmAdd RDF entailment regimeSat Apr 04 00:47:35+0200 2020
rdf.scmAdd RDFS entailmentsSat Apr 04 18:49:38+0200 2020
rdfs.scmAdd RDFS entailmentsSat Apr 04 18:49:38+0200 2020
simple.scmAdd RDF entailment regimeSat Apr 04 00:47:35+0200 2020