rdf-mt/commit
Get datatypes (un) supported
author | Jan Wielemaker |
---|---|
Tue Dec 17 14:00:18 2013 +0100 | |
committer | Jan Wielemaker |
Tue Dec 17 14:00:18 2013 +0100 | |
commit | 606806a8d7291a33d77470c6fffcfe40139d9ac7 |
tree | 72c79f7471f28656eb2ac6848c93564c07f659ac |
parent | 1d88f7ef85c1cd58be4b71738f8edbeeee2b55e2 |
Diff style: patch stat
diff --git a/lib/rdf_mt/graph_consistency.pl b/lib/rdf_mt/graph_consistency.pl index d3956db..fa63563 100644 --- a/lib/rdf_mt/graph_consistency.pl +++ b/lib/rdf_mt/graph_consistency.pl @@ -105,10 +105,11 @@ xsd_subtype_of(_,_). % * type(Type, String) literal_value(literal(Data), Value) :- - literal_value2(Data, Value, _{dummy:1}). % BUG: loops + literal_value2(Data, Value, + mf{datatypes:dt{dummy:1}, regime:rdfs}). % BUG: loops literal_value(literal(Data), Value, Props) :- - literal_value2(Data, Value, Props). + literal_value2(Data, Value, Props.datatypes). literal_value2(type(Type, String), Value, Props) :- @@ -118,7 +119,7 @@ literal_value2(type(Type, String), Value, Props) :- ), !, numeric_value(Base, String, Value). literal_value2(type(Type, String), boolean(Value), Props) :- - \+ get_dict(Props, boolean, false), + \+ get_dict(boolean, Props, false), rdf_equal(Type, xsd:boolean), !, bool(String, Value). literal_value2(type(Type, String), type(Type, String), _) :- !.