Module reasonable::reasoner

The owl module implements the rules necessary for OWL 2 RL reasoning

Structs

Reasoner	Reasoner is the interface to the reasoning engine. Instances of Reasoner maintain the state required to do reasoning.
ReasoningError	Structured errors that occur during reasoning

Functions

get_unique	removes from rv the triples that are in src. src is sorted
node_to_string