The problem of Universals

One of the toughest problems we faced in this project was defining Higher Order Universals. Understanding them is relevant, among other things, to model what would be grosso modo Powertypes from UML. These still do not have an ontological interpretation on ontoUML, e.g. to model both "action" and "action type", how would one stereotype "action type"?

Discussing the subject lead us back to analysing "The problem of Universals" . Check Joey B.'s discussion on the subject in three episodes: 1 2 3