We do not currently know of any antonyms for formal ontologies.
The noun formal ontologies is defined as: