1. Introduction
Most articles, and other work regarding computational ontologies,
provide in their preamble the definition proposed by Gruber
[1]: ‘‘explicit specification of a shared conceptualization’’ (or
by Borst [2] referring to formalization instead of explicit specification).
Behind this definition, Guarino et al. [3] distinguish three
notions that these authors are trying to explain. First, it is a conceptualization,
i.e. ‘‘an abstract, a simplified view of the world1
that
we wish to represent for some purpose’’ (in reference to the work