@prefix rdf: . @prefix : . @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 .