ExplainUnsatService Class

Represents the Explan Unsatisfiable Service provided by a Pellet Server.

Inheritance Hierarchy

Namespace: VDS.RDF.Query.Inference.Pellet.Services
Assembly: dotNetRDF (in dotNetRDF.dll) Version:

Syntax

public class ExplainUnsatService : ExplainService

Public Class ExplainUnsatService
	Inherits ExplainService

The ExplainUnsatService type exposes the following members.

Properties

	Name	Description
	Endpoint	Gets the Endpoint for this Service. (Inherited from PelletService.)
	MimeTypes	Gets the Response MIME Types supported by the Service. (Inherited from PelletService.)
	Name	Gets the Name of the Service. (Inherited from PelletService.)

Methods

	Name	Description
	Equals	Determines whether the specified object is equal to the current object. (Inherited from Object.)
	Explain(String)	Gets a Graph explaining the result of the SPARQL Query. (Inherited from ExplainService.)
	Explain(String, GraphCallback, Object)	Gets a Graph explaining the result of the SPARQL Query. (Inherited from ExplainService.)
	ExplainUnsatisfiable(INode)	Gets a Graph explaining why a Class is unsatisfiable.
	ExplainUnsatisfiable(INode, GraphCallback, Object)	Gets a Graph explaining why a Class is unsatisfiable.
	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.)
	MemberwiseClone	Creates a shallow copy of the current Object. (Inherited from Object.)
	ToString	Returns a string that represents the current object. (Inherited from Object.)

Fields

	Name	Description
	_baseQuery	Base Query for use with the Explain Service. (Inherited from ExplainService.)