|
|
|
|
|
|
by jeremiem
2836 days ago
|
|
|
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/ |
|
|