In this document, we present the general framework for the representation of on-
tologies that has been designed within tones as a semantic infrastructure capturing
the diŽerent formalizations of ontologies as well as their services and the diŽerent
contexts in which ontologies are used. Then, we illustrate several meaningful in-
stantiations of the framework through ontology based formalisms that have been
proposed recently in the literature. Some of these instantiations constitute them-
selves signi¯cant contributions in terms of logic-based ontology formalisms that have
been developed within the tones consortium, and that have been presented recently
at high quality scienti¯c venues.