Recent work in Artificial Intelligence is exploring the use 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 criteria. We describe the role of ontologies in supporting knowledge sharing activities, and then present a set of criteria to guide the development of ontologies for these purposes. We show how these criteria are applied in case studies from the design of ontologies for engineering mathematics and bibliographic data. Selected design decisions are discussed, and alternative representation choices and evaluated against the design criteria.

The design of products by multi-disciplinary groups is a knowledge intensive activity. Collaborators must be able to exchange information and share some common understanding of the information's content. The hope, however, that a centralized standards effort will lead to integrated tools spanning the needs of engineering collaborators is misplaced. Standards cannot satisfy the information sharing needs of collaborators, because these needs cannot be standardized. This paper discusses the design and use of a shared representation of knowledge (language and vocabulary) to facilitate communication among specialists and their tools. The paper advances the opinion that collaborators need the ability to establish and customize knowledge sharing agreements (i.e. mutually agreed upon terminology and definitions) that are usable by people and their machines. The paper describes a formal approach to representing engineering knowledge, describes its role in a computational framework that integra...