PelletReasoner Class |
A Pellet Reasoner which provides OWL 2 capable reasoning using an external knowledge base from a Pellet Server instance.
Inheritance HierarchyNamespace: VDS.RDF.Query.Inference
Assembly: dotNetRDF (in dotNetRDF.dll) Version:
SyntaxThe PelletReasoner type exposes the following members.
Constructors| Name | Description | |
|---|---|---|
 | PelletReasoner(Uri, String) |
Creates a new Pellet Reasoner.
|
| PelletReasoner(PelletServer, String) |
Creates a new Pellet Reasoner.
|
Properties| Name | Description | |
|---|---|---|
 | KnowledgeBase |
Gets the Knowledge Base this Reasoner operates over.
|
| Server |
Gets the Pellet Server this Reasoner operates on.
|
| Unsatisfiable |
Returns the enumeration of unsatisfiable classes.
|
Methods| Name | Description | |
|---|---|---|
| Add |
Adds a Graph to the Knowledge Base.
|
| Classify |
Extracts the triples which comprise the class hierarchy.
|
| Equals | Determines whether the specified object is equal to the current object. (Inherited from Object.) |
| ExecuteQuery |
Executes a SPARQL Query against the underlying Knowledge Base.
|
| 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.
|
 | Finalize | Allows an object to try to free resources and perform other cleanup operations before it is reclaimed by garbage collection. (Inherited from Object.) |
| GetHashCode | Serves as the default hash function. (Inherited from Object.) |
| GetType | Gets the Type of the current instance. (Inherited from Object.) |
| IsConsistent |
Returns whether the underlying knowledge base is consistent.
|
| IsConsistent(IGraph) |
Returns whether the given Graph is consistent with the underlying knowledge base.
|
| MemberwiseClone | Creates a shallow copy of the current Object. (Inherited from Object.) |
| Realize |
Extracts the triples which comprise the class hierarchy and individuals of those classes.
|
| ToString | Returns a string that represents the current object. (Inherited from Object.) |
RemarksNote: Currently this reasoner operates only on a external knowledge base and there is currently no way to introduce new knowledge bases/data through the dotNetRDF API.
See Also