Sun Apr 05 14:51:48+0200 2020
4bcc017
| name | last commit | date |
 entailment/ | Fix augmenting RDFS and RDF consistency | Sun Apr 05 14:51:48+0200 2020 |
 rdf.scm | Fix augmenting RDFS and RDF consistency | Sun Apr 05 14:51:48+0200 2020 |
| xsd.scm | Add rdf vocabulary type and use it in entailments | Sun Apr 05 03:59:21+0200 2020 |