Class ExplainUnsatService

Represents the Explan Unsatisfiable Service provided by a Pellet Server.
Inheritance
System.Object
PelletService
ExplainService
ExplainUnsatService
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.Pellet.Services
Assembly: dotNetRDF.dll
Syntax
public class ExplainUnsatService : ExplainService

Methods

| Improve this Doc View Source

ExplainUnsatisfiable(INode)

Gets a Graph explaining why a Class is unsatisfiable.
Declaration
public IGraph ExplainUnsatisfiable(INode cls)
Parameters
Type Name Description
INode cls Class.
Returns
Type Description
IGraph
| Improve this Doc View Source

ExplainUnsatisfiable(INode, GraphCallback, Object)

Gets a Graph explaining why a Class is unsatisfiable.
Declaration
public void ExplainUnsatisfiable(INode cls, GraphCallback callback, object state)
Parameters
Type Name Description
INode cls Class.
GraphCallback callback Callback to invoke when the operation completes.
System.Object state State to pass to the callback.
Remarks
If the operation succeeds the callback will be invoked normally, if there is an error the callback will be invoked with a instance of AsyncError passed as the state which provides access to the error message and the original state passed in.

Extension Methods