Formal ontologies and strategic environmental assessment. A case study: the municipal land use plan of Genoa