Class StaticOwlReasonerWrapper

Wrapper around an IOwlReasoner to make it appear like a forward-chaining reasoner.

Inheritance
object
StaticOwlReasonerWrapper
OwlReasonerWrapper
Implements
Inherited Members
Namespace: VDS.RDF.Query.Inference
Assembly: dotNetRdf.Inferencing.dll
Syntax
public class StaticOwlReasonerWrapper : IInferenceEngine
Remarks

Essentially all this class does is extract all triples which the underlying reasoner can infer. Currently the input graph and any graph passed to the Initialise() method have no effect on the output of the reasoner.

Constructors

| Edit this page View Source

StaticOwlReasonerWrapper(IOwlReasoner)

Creates a new OWL Reasoner Wrapper around the given OWL Reasoner.

Declaration
public StaticOwlReasonerWrapper(IOwlReasoner reasoner)
Parameters
Type Name Description
IOwlReasoner reasoner

OWL Reasoner.

Methods

| Edit this page View Source

Apply(IGraph)

Applies the reasoner to the given Graph outputting inferences into the same Graph.

Declaration
public virtual void Apply(IGraph g)
Parameters
Type Name Description
IGraph g

Graph.
| Edit this page View Source

Apply(IGraph, IGraph)

Applies the reasoner to the given input Graph outputting inferences into the output Graph.

Declaration
public virtual void Apply(IGraph input, IGraph output)
Parameters
Type Name Description
IGraph input

Input Graph.
IGraph output

Output Graph.
| Edit this page View Source

Initialise(IGraph)

Initialises the reasoner.

Declaration
public void Initialise(IGraph g)
Parameters
Type Name Description
IGraph g

Graph to initialise with.

Implements

Extension Methods