summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorpukkamustard <pukkamustard@posteo.net>2020-09-27 15:37:51 +0200
committerpukkamustard <pukkamustard@posteo.net>2020-09-27 15:37:51 +0200
commit4ba8a9d4965eb30dddb57fc6eb038f03cf8abd7d (patch)
treeb126939303e28aa1433759acf4d933a1892a66c9
parent156fc39c21bc09287583c517b3f46e92a209db5a (diff)
README: add Simple and Efficient Minimal RDFS
-rw-r--r--README.org4
1 files changed, 3 insertions, 1 deletions
diff --git a/README.org b/README.org
index a74c7cc..9633830 100644
--- a/README.org
+++ b/README.org
@@ -30,7 +30,6 @@ It would be nice to support more formats and also be able to write out in differ
-
*** TODO Blank Node Skolemization
An transducer that skolemizes Blank Nodes while parsing - deal with Blank Nodes before they enter. Possible Skolemization schemes:
@@ -45,6 +44,9 @@ 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
+
+Implement [[https://sci-hub.se/https://doi.org/10.1016/j.websem.2009.07.003][Simple and Efficient Minimal RDFS]] using Datalog.
** Datalog
*** TODO Split into separate library