Ontologies

This section covers formal Top Level Ontologies and Upper Ontologies. With the UMO ontology, a kind of meta-ontology is presented at the end, which can be used for the syntactical check of all other ontologies.