Un ejemplo de semántica explícita y formal es la ontología Enterprise Ontology (EO).