Fix nquads parsing issue

Julien LepillerWed Apr 08 03:08:57+0200 2020

Remove debugging

Julien LepillerWed Apr 08 03:05:00+0200 2020

Improve graph isomorphism detection

Julien LepillerWed Apr 08 01:25:01+0200 2020

Add rdf dataset isomorphism check

Julien LepillerWed Apr 08 00:56:05+0200 2020

Fix negative turtle evaluation tests

Julien LepillerTue Apr 07 05:06:11+0200 2020

Document nquads parser

Julien LepillerTue Apr 07 04:58:51+0200 2020

Add nquads format

Julien LepillerTue Apr 07 04:57:36+0200 2020

Add rdf utils.

Julien LepillerTue Apr 07 04:55:59+0200 2020

Document entailment and turtle

Julien LepillerSun Apr 05 18:09:56+0200 2020

Document (rdf rdf) and (rdf xsd)

Julien LepillerSun Apr 05 17:07:20+0200 2020

Add initial turtle producer

Julien LepillerSun Apr 05 16:22:11+0200 2020

Properly compare numbers

Julien LepillerSun Apr 05 16:21:42+0200 2020

Terms are equivalent only if they are both well-formed

Julien LepillerSun Apr 05 16:18:11+0200 2020

Fix int datatype

Julien LepillerSun Apr 05 16:17:22+0200 2020

Typo

Julien LepillerSun Apr 05 16:05:46+0200 2020

Fix augmenting RDFS and RDF consistency

Julien LepillerSun Apr 05 14:51:48+0200 2020

Recognize augmented triples

Julien LepillerSun Apr 05 14:15:15+0200 2020

Recognize both graphs before entailment

Julien LepillerSun Apr 05 14:01:58+0200 2020

augment before checking consistency

Julien LepillerSun Apr 05 04:15:18+0200 2020

Fix arguments for consistency checks

Julien LepillerSun Apr 05 04:10:34+0200 2020