Click or drag to resize

ExplainUnsatServiceExplainUnsatisfiable Method (INode, GraphCallback, Object)

Gets a Graph explaining why a Class is unsatisfiable.

Namespace:  VDS.RDF.Query.Inference.Pellet.Services
Assembly:  dotNetRDF (in dotNetRDF.dll) Version:
Syntax
Copy
public void ExplainUnsatisfiable(
	INode cls,
	GraphCallback callback,
	Object state
)

Parameters

cls
Type: VDS.RDFINode
Class.
callback
Type: VDS.RDFGraphCallback
Callback to invoke when the operation completes.
state
Type: SystemObject
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.
See Also