Formalization of terminological ontologies | Publicación