Noun
formal ontology (plural formal ontologies) An ontology with a structure that is guided and defined through axioms.