Module reasonable::owl

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