IQueryableOwlReasoner Interface |
Interface for OWL Reasoners which have access to their own SPARQL implementations.
Namespace: VDS.RDF.Query.Inference
Assembly: dotNetRDF (in dotNetRDF.dll) Version:
SyntaxThe IQueryableOwlReasoner type exposes the following members.
Properties| Name | Description | |
|---|---|---|
 | Unsatisfiable |
Returns the enumeration of unsatisfiable classes.
(Inherited from IOwlReasoner.) |
Methods| Name | Description | |
|---|---|---|
 | Add |
Adds a Graph to the reasoners knowledge base.
(Inherited from IOwlReasoner.) |
| Classify |
Extracts the triples which comprise the class hierarchy.
(Inherited from IOwlReasoner.) |
| ExecuteQuery |
Executes a SPARQL Query using the reasoners SPARQL implementation.
|
| Extract(IEnumerable<String>) |
Extracts all possible triples using the given extraction modes.
(Inherited from IOwlReasoner.) |
| Extract(String) |
Extracts all possible triples using the given extraction mode.
(Inherited from IOwlReasoner.) |
| Extract(IGraph, INode) |
Extract a reasoning enhanced sub-graph from the given Graph rooted at the given Node.
(Inherited from IOwlReasoner.) |
| IsConsistent() |
Returns whether the underlying knowledge base is consistent.
(Inherited from IOwlReasoner.) |
| IsConsistent(IGraph) |
Returns whether the given Graph is consistent with the underlying knowledge base.
(Inherited from IOwlReasoner.) |
| Realize |
Extracts the triples which comprise the class hierarchy and individuals of those classes.
(Inherited from IOwlReasoner.) |
See Also