PROEM VI: ONTOLOGY