Module reasonable::reasoner [−][src]
Expand description
The owl module implements the rules necessary for OWL 2 RL reasoning
Structs
Reasoner is the interface to the reasoning engine. Instances of Reasoner maintain the state
required to do reasoning.
Structured errors that occur during reasoning
Functions
removes from rv the triples that are in src. src is sorted