dotNetRDF API Documentation

IOwlReasoner Properties

The IOwlReasoner type exposes the following members.

Properties

	Name	Description
	Unsatisfiable	Returns the enumeration of unsatisfiable classes.

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