Semantic Characterization of Ontologies

Using a semantic definition of ontologies, we provide a characterization of ontologies with respect to reusabil- ity, merging, and integration. This definition also pro- vides a model-theoretic approach to distinguishing on- tologies from the domain theories which use them, and the relationships among ontologies within an ontology library.