formal ontology

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