rdf-mt/commit

Added RDFS rule to generate datatype triples

diff --git a/lib/rdf_mt/mt_rdfs.pl b/lib/rdf_mt/mt_rdfs.pl
index 62c2476..45b4e28 100644
--- a/lib/rdf_mt/mt_rdfs.pl
+++ b/lib/rdf_mt/mt_rdfs.pl
@@ -45,6 +45,16 @@ Terminology:
 % rdfs1 @@
 % any IRI aaa in D ==> aaa rdf:type rdfs:Datatype .
 
+rdfs1 @@
+{ S, P, L } ==>
+	L = literal(_),
+	\+ ( rdf(S,P,BN),
+	     rdf_is_bnode(BN)
+	   ),
+	rdf_bnode(BN),
+	{ S, P, BN },
+	{ BN, rdf:type, rdfs:'Literal' }.
+
 rdfs2 @@
 { A, rdfs:domain, X },
 { Y, A, _Z } ==>