IOwlReasoner Interface |
Proposed interface for OWL Reasoners - currently incomplete.
Namespace: VDS.RDF.Query.Inference
Assembly: dotNetRDF (in dotNetRDF.dll) Version:
SyntaxThe IOwlReasoner type exposes the following members.
Properties| Name | Description | |
|---|---|---|
 | Unsatisfiable |
Returns the enumeration of unsatisfiable classes.
|
Methods| Name | Description | |
|---|---|---|
 | Add |
Adds a Graph to the reasoners knowledge base.
|
| Classify |
Extracts the triples which comprise the class hierarchy.
|
| Extract(IEnumerableString) |
Extracts all possible triples using the given extraction modes.
|
| Extract(String) |
Extracts all possible triples using the given extraction mode.
|
| Extract(IGraph, INode) |
Extract a reasoning enhanced sub-graph from the given Graph rooted at the given Node.
|
| IsConsistent |
Returns whether the underlying knowledge base is consistent.
|
| IsConsistent(IGraph) |
Returns whether the given Graph is consistent with the underlying knowledge base.
|
| Realize |
Extracts the triples which comprise the class hierarchy and individuals of those classes.
|
RemarksImportant: 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.
See Also