ABSTRACT
If a program wants to compare conceptual information across two knowledge bases on the Web, it has to know when any two given terms are being used to mean the same thing. Ideally, the program must have a way to discover common meanings for whatever knowledge bases it encounters. A solution to this problem is provided by the Semantic Web in the form of collections of information called ontologies. AI and Web researchers use the term ontology as a document that defines the relations among terms. A typical ontology for the Web uses a taxonomy and a set of inference rules.
