@prefix rdf: . @prefix rdfs: . @prefix mf: . @prefix qt: . @prefix dawgt: . <> rdf:type mf:Manifest ; rdfs:comment "Some SPARQL test cases - equality of values" ; mf:entries ( <#eq-1> <#eq-2> <#eq-3> <#eq-4> <#eq-5> <#eq-2-1> <#eq-2-2> <#eq-graph-1> <#eq-graph-2> <#eq-graph-3> <#eq-graph-4> <#eq-graph-5> ). <#eq-1> a mf:QueryEvaluationTest ; dawgt:approval dawgt:Approved ; dawgt:approvedBy ; mf:name "Equality 1-1" ; rdfs:comment "= in FILTER expressions is value equality" ; mf:action [ qt:query ; qt:data ] ; mf:result . <#eq-2> a mf:QueryEvaluationTest ; dawgt:approval dawgt:Approved ; dawgt:approvedBy ; mf:name "Equality 1-2" ; rdfs:comment "= in FILTER expressions is value equality" ; mf:action [ qt:query ; qt:data ] ; mf:result . <#eq-3> a mf:QueryEvaluationTest ; dawgt:approval dawgt:Approved ; dawgt:approvedBy ; rdfs:comment "Numerics are not value-equivalent to plain literals" ; mf:name "Equality 1-3" ; mf:action [ qt:query ; qt:data ] ; mf:result . <#eq-4> a mf:QueryEvaluationTest ; dawgt:approval dawgt:Approved ; dawgt:approvedBy ; mf:name "Equality 1-4" ; rdfs:comment "= compares plain literals and unknown types with the same lexical form as false" ; mf:action [ qt:query ; qt:data ] ; mf:result . <#eq-5> a mf:QueryEvaluationTest ; dawgt:approval dawgt:Approved ; dawgt:approvedBy ; rdfs:comment "= on IRI terms" ; mf:name "Equality 1-5" ; mf:action [ qt:query ; qt:data ] ; mf:result . <#eq-2-1> a mf:QueryEvaluationTest ; dawgt:approval dawgt:Approved ; dawgt:approvedBy ; mf:name "Equality - 2 var - test equals" ; rdfs:comment "= in FILTER is value equality" ; mf:action [ qt:query ; qt:data ] ; mf:result . <#eq-2-2> a mf:QueryEvaluationTest ; dawgt:approval dawgt:Approved ; dawgt:approvedBy ; rdfs:comment "!= in FILTER is value inequality" ; mf:name "Equality - 2 var - test not equals " ; mf:action [ qt:query ; qt:data ] ; mf:result . # Graph versions of the equality tests # DAWG tests are graph-equivalence, not value equivalent. <#eq-graph-1> a mf:QueryEvaluationTest ; dawgt:approval dawgt:Approved ; dawgt:approvedBy ; mf:name "Equality 1-1 -- graph" ; rdfs:comment "Graph pattern matching matches exact terms, not values" ; mf:action [ qt:query ; qt:data ] ; mf:result . # DAWG tests are graph-equivalence, not value equivalent. <#eq-graph-2> a mf:QueryEvaluationTest ; dawgt:approval dawgt:Approved ; dawgt:approvedBy ; mf:name "Equality 1-2 -- graph" ; rdfs:comment "Graph pattern matching matches exact terms, not values" ; mf:action [ qt:query ; qt:data ] ; mf:result . <#eq-graph-3> a mf:QueryEvaluationTest ; dawgt:approval dawgt:Approved ; dawgt:approvedBy ; mf:name "Equality 1-3 -- graph" ; rdfs:comment "Graph pattern matching matches exact terms, not values" ; mf:action [ qt:query ; qt:data ] ; mf:result . <#eq-graph-4> a mf:QueryEvaluationTest ; dawgt:approval dawgt:Approved ; dawgt:approvedBy ; mf:name "Equality 1-4 -- graph" ; rdfs:comment "Graph pattern matching matches exact terms, not values" ; mf:action [ qt:query ; qt:data ] ; mf:result . <#eq-graph-5> a mf:QueryEvaluationTest ; dawgt:approval dawgt:Approved ; dawgt:approvedBy ; mf:name "Equality 1-5 -- graph" ; rdfs:comment "Graph pattern matching matches exact terms, not values" ; mf:action [ qt:query ; qt:data ] ; mf:result .