Semantic Matching: Formal Ontological Distinctions for Information Organization, Extraction, and Integration