Class OwlReasonerWrapper

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

Inheritance

object

StaticOwlReasonerWrapper

OwlReasonerWrapper

Implements

IInferenceEngine

Inherited Members

StaticOwlReasonerWrapper.Initialise(IGraph)

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 OwlReasonerWrapper : StaticOwlReasonerWrapper, IInferenceEngine

Remarks

Effectively equivalent to StaticOwlReasonerWrapper except that every Graph reasoning is applied to is added to the reasoners knowledge base (unless the reasoner uses a fixed knowledge base).

Constructors

OwlReasonerWrapper(IOwlReasoner)

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

Declaration

public OwlReasonerWrapper(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 override void Apply(IGraph g)

Parameters

Type	Name	Description
IGraph	g	Graph.

Overrides

StaticOwlReasonerWrapper.Apply(IGraph)

Apply(IGraph, IGraph)

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

Declaration

public override void Apply(IGraph input, IGraph output)

Parameters

Type	Name	Description
IGraph	input	Input Graph.
IGraph	output	Output Graph.

Overrides

StaticOwlReasonerWrapper.Apply(IGraph, IGraph)

Implements

IInferenceEngine

Extension Methods

Extensions.ToSafeString(object)

Extensions.AsEnumerable<T>(T)