-
Notifications
You must be signed in to change notification settings - Fork 25
Open
Labels
Description
This appears to be wrong because malformed literals cause inconsistency no matter where they appear.
trs:malformed-literal-bnode-neg a mf:NegativeEntailmentTest;
rdfs:comment "Malformed literals can not be replaced by blank nodes.";
mf:action <malformed-literal.ttl>;
mf:entailmentRegime "RDF";
mf:name "malformed-literal-bnode";
mf:recognizedDatatypes (xsd:integer);
mf:result <test002or.ttl>;
mf:unrecognizedDatatypes ();
test:approval test:NotClassified .
I have not fixed the test but have [NOT] linked to it from Semantics.