formal ontology noun1 •An ontology with a structure that is guided and defined through axioms. formsformal ontologies