Add RDFS entailments

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

725334b

guile-rdf/rdf
namelast commitdate
entailment/Add RDFS entailmentsSat Apr 04 18:49:38+0200 2020
rdf.scmAdd type recognition procedureSat Apr 04 00:46:58+0200 2020
xsd.scmAdd RDFS entailmentsSat Apr 04 18:49:38+0200 2020