Method: Model::Reasoner#imply

Defined in:
lib/services/reasoner.rb

#imply(precondition, postcondition) ⇒ Object

implication doesn’t work well when a blank node is used in the condition, e.g.: <…#type> _:vehicle . => … will always result in the postcondition, because of _:vehicle



16
17
18
19
20
21
22
23
24
25
 
# File 'lib/services/reasoner.rb', line 16

def imply(precondition, postcondition)
  eye_input = EyeSerializer.serialize_implication(
    repository.facts_only,
    repository.graph(precondition),
    repository.graph(postcondition)
  )

  eye_output = run_eye eye_input
  parse_eye_output eye_output
end