Add rdf vocabulary type and use it in entailments

Julien LepillerSun Apr 05 03:59:21+0200 2020

d19e12a

guile-rdf/rdf/entailment
namelast commitdate
d.scmAdd RDF entailment regimeSat Apr 04 00:47:35+0200 2020
rdf.scmAdd rdf vocabulary type and use it in entailmentsSun Apr 05 03:59:21+0200 2020
rdfs.scmAdd rdf vocabulary type and use it in entailmentsSun Apr 05 03:59:21+0200 2020
simple.scmAdd RDF entailment regimeSat Apr 04 00:47:35+0200 2020