Sun Apr 05 03:32:31+0200 2020
4455dfb
| name | last commit | date |
 d.scm | Add RDF entailment regime | Sat Apr 04 00:47:35+0200 2020 |
| rdf.scm | Add RDFS entailments | Sat Apr 04 18:49:38+0200 2020 |
| rdfs.scm | Improve rdfs entailment | Sun Apr 05 03:32:09+0200 2020 |
| simple.scm | Add RDF entailment regime | Sat Apr 04 00:47:35+0200 2020 |