Overview

• motivation

• what are ontologies

• existing formalisms

• formalism transformations

• my approach

• results

Notes: