src/preprocessing/utils.c
// Add a given subrole axiom the list of subclass axioms generated during
// preprocessing
Add a given subrole axiom the list of subclass axioms generated during
preprocessing
Add a given subrole axiom the list of subclass axioms generated during preprocessing
void add_generated_subrole_axiom(KB* kb, SubObjectPropertyOfAxiom* ax) {
	SubObjectPropertyOfAxiom** tmp;
	tmp = realloc(kb->generated_subrole_axioms, (kb->generated_subrole_axiom_count + 1) * sizeof(SubObjectPropertyOfAxiom*));
	assert(tmp != NULL);
	kb->generated_subrole_axioms = tmp;
	kb->generated_subrole_axioms[kb->generated_subrole_axiom_count] = ax;
	++(kb->generated_subrole_axiom_count);
}
void add_generated_subrole_axiom ( KB * kb , SubObjectPropertyOfAxiom * ax ) { SubObjectPropertyOfAxiom * * tmp ; tmp = realloc ( kb -> generated_subrole_axioms , ( kb -> generated_subrole_axiom_count + 1 ) * sizeof ( SubObjectPropertyOfAxiom * ) ) ; assert ( tmp != NULL ) ; kb -> generated_subrole_axioms = tmp ; kb -> generated_subrole_axioms [ kb -> generated_subrole_axiom_count ] = ax ; ++ ( kb -> generated_subrole_axiom_count ) ; }
Add a given subrole axiom the list of subclass axioms generated during
preprocessing
Add a given subrole axiom the list of subclass axioms generated during preprocessing