Recent work in Artificial Intelligence is exploring the user of formal ontologies as a way of specifying content-specific agreements for the sharing and reuse of knowledge among software entities. We take an engineering perspective on the development of such ontologies. Formal ontologies are viewed as designed artifacts, formulated for specific purposes and evaluated against objective design
... [Show full abstract] criteria. We describe the role of ontologies in supporting knowledge sharing activities, and then...