Category-based Equational Reasoning: An Approach to Ontology Integration | UPT Perpustakaan UHAMKA