Class: SPARQL::Algebra::Operator::Compare

Inherits:
Binary show all
Includes:
Evaluatable
Defined in:
lib/sparql/algebra/operator/compare.rb

Overview

A SPARQL relational <=> comparison operator.

Examples:

(<=> ?x ?y)

See Also:

Direct Known Subclasses

Equal, GreaterThan, GreaterThanOrEqual, LessThan, LessThanOrEqual

Constant Summary

NAME = 
:<=>

Constants inherited from Binary

Binary::ARITY

Constants inherited from SPARQL::Algebra::Operator

ARITY

Instance Attribute Summary

Attributes inherited from SPARQL::Algebra::Operator

#operands, #options

Instance Method Summary (collapse)

Methods included from Evaluatable

#evaluate, #memoize

Methods inherited from Binary

#initialize

Methods inherited from SPARQL::Algebra::Operator

arity, base_uri, #base_uri, base_uri=, #boolean, #constant?, #eql?, #evaluatable?, evaluate, #executable?, for, #initialize, #inspect, #operand, #optimize, prefixes, #prefixes, prefixes=, #to_sse, #to_sxp, #variable?

Methods included from Expression

cast, #constant?, #evaluate, for, new, open, #optimize, parse, #to_sse, #variable?

Constructor Details

This class inherits a constructor from SPARQL::Algebra::Operator::Binary

Instance Method Details

- (RDF::Literal::Integer) apply(left, right)

Returns -1, 0, or 1, depending on whether the first operand is respectively less than, equal to, or greater than the second operand.

SPARQL also fixes an order between some kinds of RDF terms that would not otherwise be ordered:

(Lowest) no value assigned to the variable or expression in this solution. Blank nodes IRIs RDF literals

Parameters:

  • left (RDF::Literal) —

    a literal

  • right (RDF::Literal) —

    a literal

Returns:

  • (RDF::Literal::Integer) —

    -1, 0, or 1

Raises:

  • (TypeError) —

    if either operand is not a literal



34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
 
# File 'lib/sparql/algebra/operator/compare.rb', line 34

def apply(left, right)
  case
  # @see http://www.w3.org/TR/rdf-sparql-query/#OperatorMapping
  # @see http://www.w3.org/TR/rdf-sparql-query/#modOrderBy
  when left.is_a?(RDF::Literal) && right.is_a?(RDF::Literal)
    case
    # @see http://www.w3.org/TR/xpath-functions/#string-compare
    # @see http://www.w3.org/TR/xpath-functions/#comp.numeric
    # @see http://www.w3.org/TR/xpath-functions/#op.boolean
    # @see http://www.w3.org/TR/xpath-functions/#comp.duration.datetime
    when (left.simple? && right.simple?) ||
         (left.is_a?(RDF::Literal::Numeric) && right.is_a?(RDF::Literal::Numeric)) ||
         (left.datatype == right.datatype && left.language == right.language)
      RDF::Literal(left.send(self.class.const_get(:NAME), right))

    # A plain literal is lower than an RDF literal with type xsd:string of the same lexical form.
    when left.simple? && right.datatype == RDF::XSD.string && left.value == right.value
      RDF::Literal(-1)
    when right.simple? && left.datatype == RDF::XSD.string && right.value == left.value
      RDF::Literal(-1)

    else raise TypeError, "unable to compare #{left.inspect} and #{right.inspect}"
    end
    
  when left.is_a?(RDF::URI) && right.is_a?(RDF::URI)
    # Pairs of IRIs are ordered by comparing them as simple literals.
    RDF::Literal(RDF::Literal(left.to_s).send(self.class.const_get(:NAME), RDF::Literal(right.to_s)))
  when left.is_a?(RDF::Node) && right.is_a?(RDF::Node)
    # BNode comparison is undefined.
    RDF::Literal(0)
  when left.nil? && right.nil?
    RDF::Literal(0)
  
  # SPARQL also fixes an order between some kinds of RDF terms that would not otherwise be ordered:
  # 2. Blank nodes
  when left.is_a?(RDF::Node) && right.is_a?(RDF::Term)
    RDF::Literal(-1)
  when right.is_a?(RDF::Node) && left.is_a?(RDF::Term)
    RDF::Literal(1)

  # 3. IRIs
  when left.is_a?(RDF::URI) && right.is_a?(RDF::Term)
    RDF::Literal(-1)
  when right.is_a?(RDF::URI) && left.is_a?(RDF::Term)
    RDF::Literal(1)
  else raise TypeError, "expected two RDF::Term operands, but got #{left.inspect} and #{right.inspect}"
  end
end