Representing and Reasoning on Typicality in Formal Ontologies