Class StaticOwlReasonerWrapper

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

Inheritance

object

StaticOwlReasonerWrapper

OwlReasonerWrapper

Implements

IInferenceEngine

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

object.ToString()

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

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

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.

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.

Initialise(IGraph)

Initialises the reasoner.

Declaration

public void Initialise(IGraph g)

Parameters

Type	Name	Description
IGraph	g	Graph to initialise with.

Implements

IInferenceEngine

Extension Methods

Extensions.ToSafeString(object)

Extensions.AsEnumerable<T>(T)