An Analogy Ontology for Integrating Analogical Processing and First-principles Reasoning