summaryrefslogtreecommitdiff
path: root/README.org
diff options
context:
space:
mode:
Diffstat (limited to 'README.org')
-rw-r--r--README.org5
1 files changed, 1 insertions, 4 deletions
diff --git a/README.org b/README.org
index 9633830..956968c 100644
--- a/README.org
+++ b/README.org
@@ -28,8 +28,6 @@ There are many serialization formats for RDF. Currently guile-schemantic only su
It would be nice to support more formats and also be able to write out in different formats. Maybe one could use existing C libraries such as [[https://github.com/drobilla/serd][serd]] or [[http://librdf.org/raptor/][Raptor]].
-
-
*** TODO Blank Node Skolemization
An transducer that skolemizes Blank Nodes while parsing - deal with Blank Nodes before they enter. Possible Skolemization schemes:
@@ -43,8 +41,7 @@ An transducer that skolemizes Blank Nodes while parsing - deal with Blank Nodes
While parsing it would be nice to parse into the most specific supported literal (e.g. literal with datatype ~xsd:integer~ should be parsed as a <xsd:literal> and not as a generic literal). This requires a mapping from datatype iri to appropriate literal class.
-
-*** TODO RDFS inference
+*** DONE RDFS inference
Implement [[https://sci-hub.se/https://doi.org/10.1016/j.websem.2009.07.003][Simple and Efficient Minimal RDFS]] using Datalog.