formal ontology

Noun

 * 1) An ontology with a structure that is guided and defined through axioms.