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