src/preprocessing/preprocessing.c
// Preprocess assertions and translate them to subclass axioms for saturation. ABox individuals are translated to
// nominals for this.
Preprocess assertions and translate them to subclass axioms for saturation. ABox individuals are translated to
nominals for this.
Preprocess assertions and translate them to subclass axioms for saturation . ABox individuals are translated to nominals for this .
void preprocess_abox(KB* kb) {
	ABox* abox = kb->abox;
	int i;
	for (i = 0; i < abox->concept_assertion_count; ++i)
		add_generated_subclass_axiom(
				kb,
				create_subclass_axiom(
						get_create_generated_nominal(kb, abox->concept_assertions[i]->individual), abox->concept_assertions[i]->concept));
	for (i = 0; i < abox->role_assertion_count; ++i)
		add_generated_subclass_axiom(
				kb,
				create_subclass_axiom(
						get_create_generated_nominal(kb, abox->role_assertions[i]->source_individual),
						get_create_generated_exists_restriction(kb, abox->role_assertions[i]->role,
								get_create_generated_nominal(kb, abox->role_assertions[i]->target_individual)
						)
				)
		);
}
void preprocess_abox ( KB * kb ) { ABox * abox = kb -> abox ; int i ; for ( i = 0 ; i < abox -> concept_assertion_count ; ++ i ) add_generated_subclass_axiom ( kb , create_subclass_axiom ( get_create_generated_nominal ( kb , abox -> concept_assertions [ i ] -> individual ) , abox -> concept_assertions [ i ] -> concept ) ) ; for ( i = 0 ; i < abox -> role_assertion_count ; ++ i ) add_generated_subclass_axiom ( kb , create_subclass_axiom ( get_create_generated_nominal ( kb , abox -> role_assertions [ i ] -> source_individual ) , get_create_generated_exists_restriction ( kb , abox -> role_assertions [ i ] -> role , get_create_generated_nominal ( kb , abox -> role_assertions [ i ] -> target_individual ) ) ) ) ; }
Preprocess assertions and translate them to subclass axioms for saturation.
Preprocess assertions and translate them to subclass axioms for saturation .
// Translate the concept assertions to subclass axioms. // Individuals translated to generated nominals. // Translate the role assertions to subclass axioms. // Individuals translated to generated nominals.