Semantic Characterization of Ontologies

Contents

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