Click or drag to resize

ExplainUnsatServiceExplainUnsatisfiable Method (INode)

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 IGraph ExplainUnsatisfiable(
	INode cls
)

Parameters

cls
Type: VDS.RDFINode
Class.

Return Value

Type: IGraph

[Missing <returns> documentation for "M:VDS.RDF.Query.Inference.Pellet.Services.ExplainUnsatService.ExplainUnsatisfiable(VDS.RDF.INode)"]

See Also