src/saturation/saturation.c
/*
 * Saturates the given TBox.
 * Returns:
 * 	-1: If the reasoning task is consistency check, and an atomic concept has the
 * 	subsumer bottom. In this case it immediately returns, i.e., saturation process
 * 	is cancelled.
 * 	0: Otherwise
 */
Saturates the given TBox.
Returns:
-1: If the reasoning task is consistency check, and an atomic concept has the
subsumer bottom. In this case it immediately returns, i.e., saturation process
is cancelled.
0: Otherwise
Saturates the given TBox . Returns : - 1 : If the reasoning task is consistency check and an atomic concept has the subsumer bottom . In this case it immediately returns i . e . saturation process is cancelled . 0 : Otherwise
char saturate_tbox(KB* kb, ReasoningTask reasoning_task) {
	char saturation_result = 0;
	saturate_roles(kb);
	saturation_result = saturate_concepts(kb, reasoning_task);
	return saturation_result;
}
char saturate_tbox ( KB * kb , ReasoningTask reasoning_task ) { char saturation_result = 0 ; saturate_roles ( kb ) ; saturation_result = saturate_concepts ( kb , reasoning_task ) ; return saturation_result ; }
Saturates the given TBox.
Saturates the given TBox .