IOwlReasonerUnsatisfiable Property

Returns the enumeration of unsatisfiable classes.

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

Syntax

IEnumerable<OntologyResource> Unsatisfiable { get; }

ReadOnly Property Unsatisfiable As IEnumerable(Of OntologyResource)
	Get

Exceptions

Exception	Condition
NotSupportedException	May be thrown if the Reasoner does not support such an operation.

Please report any bugs or issues with this documentation at http://github.com/dotnetrdf/dotnetrdf/issues

IOwlReasonerAddLanguageSpecificTextSet("LSTADC5D373_0?cpp=::|nu=.");Unsatisfiable Property