evOWLution homepage

The main features of evOWLution include :

Logic consistency checking and resolving;
Structural (OWL-Lite) consistency checking and resolving;
XDIG interface gives users more details about the xtell response. Especailly, an specific inconsistent set will be returned if there is inconsistency in the xtell request; The unsatisfiable concepts will be returned when the xtell request is incoherent.

Features
	The main features of evOWLution include : Logic consistency checking and resolving; Structural (OWL-Lite) consistency checking and resolving; XDIG interface gives users more details about the xtell response. Especailly, an specific inconsistent set will be returned if there is inconsistency in the xtell request; The unsatisfiable concepts will be returned when the xtell request is incoherent.

Features