English edit

 
English Wikipedia has an article on:
Wikipedia

Noun edit

formal ontology (plural formal ontologies)

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