Class PelletReasoner

A Pellet Reasoner which provides OWL 2 capable reasoning using an external knowledge base from a Pellet Server instance.
Inheritance
System.Object
PelletReasoner
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 PelletReasoner : IQueryableOwlReasoner, IOwlReasoner
Remarks

Note: 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.

Constructors

| Improve this Doc View Source

PelletReasoner(Uri, String)

Creates a new Pellet Reasoner.
Declaration
public PelletReasoner(Uri serverUri, string kbName)
Parameters
Type Name Description
System.Uri serverUri Pellet Server URI.
System.String kbName Knowledge Base name.
| Improve this Doc View Source

PelletReasoner(PelletServer, String)

Creates a new Pellet Reasoner.
Declaration
public PelletReasoner(PelletServer server, string kbName)
Parameters
Type Name Description
PelletServer server Pellet Server.
System.String kbName Knowledge Base name.

Properties

| Improve this Doc View Source

KnowledgeBase

Gets the Knowledge Base this Reasoner operates over.
Declaration
public KnowledgeBase KnowledgeBase { get; }
Property Value
Type Description
KnowledgeBase
| Improve this Doc View Source

Server

Gets the Pellet Server this Reasoner operates on.
Declaration
public PelletServer Server { get; }
Property Value
Type Description
PelletServer
| Improve this Doc View Source

Unsatisfiable

Returns the enumeration of unsatisfiable classes.
Declaration
public IEnumerable<OntologyResource> Unsatisfiable { get; }
Property Value
Type Description
System.Collections.Generic.IEnumerable<OntologyResource>
Remarks
Currently not supported by Pellet Server.

Methods

| Improve this Doc View Source

Add(IGraph)

Adds a Graph to the Knowledge Base.
Declaration
public void Add(IGraph g)
Parameters
Type Name Description
IGraph g Graph.
Remarks
Currently not supported by Pellet Server.
| Improve this Doc View Source

Classify()

Extracts the triples which comprise the class hierarchy.
Declaration
public IEnumerable<Triple> Classify()
Returns
Type Description
System.Collections.Generic.IEnumerable<Triple>
| Improve this Doc View Source

ExecuteQuery(String)

Executes a SPARQL Query against the underlying Knowledge Base.
Declaration
public object ExecuteQuery(string sparqlQuery)
Parameters
Type Name Description
System.String sparqlQuery SPARQL Query.
Returns
Type Description
System.Object
| Improve this Doc View Source

Extract(IEnumerable<String>)

Extracts all possible triples using the given extraction modes.
Declaration
public IEnumerable<Triple> Extract(IEnumerable<string> modes)
Parameters
Type Name Description
System.Collections.Generic.IEnumerable<System.String> modes Extraction Modes.
Returns
Type Description
System.Collections.Generic.IEnumerable<Triple>
Remarks
Currently not supported by Pellet Server.
| Improve this Doc View Source

Extract(String)

Extracts all possible triples using the given extraction mode.
Declaration
public IEnumerable<Triple> Extract(string mode)
Parameters
Type Name Description
System.String mode Extraction Mode.
Returns
Type Description
System.Collections.Generic.IEnumerable<Triple>
Remarks
Currently not supported by Pellet Server.
| Improve this Doc View Source

Extract(IGraph, INode)

Extract a reasoning enhanced sub-graph from the given Graph rooted at the given Node.
Declaration
public IGraph Extract(IGraph g, INode n)
Parameters
Type Name Description
IGraph g Graph.
INode n Root Node.
Returns
Type Description
IGraph
Remarks
Currently not supported by Pellet Server.
| Improve this Doc View Source

IsConsistent()

Returns whether the underlying knowledge base is consistent.
Declaration
public bool IsConsistent()
Returns
Type Description
System.Boolean
| Improve this Doc View Source

IsConsistent(IGraph)

Returns whether the given Graph is consistent with the underlying knowledge base.
Declaration
public bool IsConsistent(IGraph g)
Parameters
Type Name Description
IGraph g Graph.
Returns
Type Description
System.Boolean
Remarks
Currently not supported by Pellet Server.
| Improve this Doc View Source

Realize()

Extracts the triples which comprise the class hierarchy and individuals of those classes.
Declaration
public IEnumerable<Triple> Realize()
Returns
Type Description
System.Collections.Generic.IEnumerable<Triple>

Implements

Extension Methods