Interface IOwlReasoner

Proposed interface for OWL Reasoners - currently incomplete.

Namespace: VDS.RDF.Query.Inference
Assembly: dotNetRdf.Inferencing.dll
Syntax
public interface IOwlReasoner
Remarks

Important: This interface is specifically designed so that it does not require the provision of a Graph to methods unless the method does not make sense without taking an IGraph as a parameter. This is because we envisage the use of this interface for connecting to reasoners which have their own access to the data over which they are reasoning and do not need it providing explicitly to them.

Reasoner implementations may throw NotSupportedException for operations they don't support and may throw any other appropriate exceptions as appropriate for operations that encounter errors.

Properties

| Edit this page View Source

Unsatisfiable

Returns the enumeration of unsatisfiable classes.

Declaration
IEnumerable<OntologyResource> Unsatisfiable { get; }
Property Value
Type Description
IEnumerable<OntologyResource>
Exceptions
Type Condition
NotSupportedException

May be thrown if the Reasoner does not support such an operation.

Methods

| Edit this page View Source

Add(IGraph)

Adds a Graph to the reasoners knowledge base.

Declaration
void Add(IGraph g)
Parameters
Type Name Description
IGraph g

Graph.
Remarks

A reasoner may choose to do nothing in this method if that reasoner especially if it operates using some pre-defined, remote or otherwise immutable knowledge base.

Exceptions
Type Condition
NotSupportedException

May be thrown if the Reasoner does not support such an operation.
| Edit this page View Source

Classify()

Extracts the triples which comprise the class hierarchy.

Declaration
IEnumerable<Triple> Classify()
Returns
Type Description
IEnumerable<Triple>
Exceptions
Type Condition
NotSupportedException

May be thrown if the Reasoner does not support such an operation.
| Edit this page View Source

Extract(IEnumerable<string>)

Extracts all possible triples using the given extraction modes.

Declaration
IEnumerable<Triple> Extract(IEnumerable<string> modes)
Parameters
Type Name Description
IEnumerable<string> modes

Extraction Modes.
Returns
Type Description
IEnumerable<Triple>
Remarks

The modes permits for the specification of an extraction mode for reasoners that can extract specific subsets of reasoning. Where this is not supported the reasoner should simply extract all triples that can be inferred by reasoning.

Exceptions
Type Condition
NotSupportedException

May be thrown if the Reasoner does not support such an operation.
| Edit this page View Source

Extract(string)

Extracts all possible triples using the given extraction mode.

Declaration
IEnumerable<Triple> Extract(string mode)
Parameters
Type Name Description
string mode

Extraction Mode.
Returns
Type Description
IEnumerable<Triple>
Remarks

The mode permits for the specification of an extraction mode for reasoners that can extract specific subsets of reasoning. Where this is not supported the reasoner should simply extract all triples that can be inferred by reasoning.

Exceptions
Type Condition
NotSupportedException

May be thrown if the Reasoner does not support such an operation.
| Edit this page View Source

Extract(IGraph, INode)

Extract a reasoning enhanced sub-graph from the given Graph rooted at the given Node.

Declaration
IGraph Extract(IGraph g, INode n)
Parameters
Type Name Description
IGraph g

Graph.
INode n

Root Node.
Returns
Type Description
IGraph
| Edit this page View Source

IsConsistent()

Returns whether the underlying knowledge base is consistent.

Declaration
bool IsConsistent()
Returns
Type Description
bool
Exceptions
Type Condition
NotSupportedException

May be thrown if the Reasoner does not support such an operation.
| Edit this page View Source

IsConsistent(IGraph)

Returns whether the given Graph is consistent with the underlying knowledge base.

Declaration
bool IsConsistent(IGraph g)
Parameters
Type Name Description
IGraph g

Graph.
Returns
Type Description
bool
Exceptions
Type Condition
NotSupportedException

May be thrown if the Reasoner does not support such an operation.
| Edit this page View Source

Realize()

Extracts the triples which comprise the class hierarchy and individuals of those classes.

Declaration
IEnumerable<Triple> Realize()
Returns
Type Description
IEnumerable<Triple>
Exceptions
Type Condition
NotSupportedException

May be thrown if the Reasoner does not support such an operation.

Extension Methods