Your first point is being worked on and there are a few upper ontologies being used. I find BFO [1] quite promising.

I believe that we actually can generalize modelling. We have dictionaries filled with definitions, given enough time and discipline, I don't see why we couldn't make them formal. It's not an engineering problem though.

[1] http://basic-formal-ontology.org/