Class StaticOwlReasonerWrapper

Wrapper around an IOwlReasoner to make it appear like a forward-chaining reasoner.
Inheritance
System.Object
StaticOwlReasonerWrapper
OwlReasonerWrapper
Implements
Inherited Members
System.Object.Equals(System.Object)
System.Object.Equals(System.Object, System.Object)
System.Object.GetHashCode()
System.Object.GetType()
System.Object.MemberwiseClone()
System.Object.ReferenceEquals(System.Object, System.Object)
System.Object.ToString()
Namespace: VDS.RDF.Query.Inference
Assembly: dotNetRDF.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(IGraph) method have no effect on the output of the reasoner.

Constructors

| Improve this Doc 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

| Improve this Doc 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.
| Improve this Doc 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.
| Improve this Doc 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