Category-based Equational Reasoning: An Approach to Ontology Integration

Joe Geldart, William Song. Category-based Equational Reasoning: An Approach to Ontology Integration. Journal of Logic and Computation, 19(5):791-806, 2009. [doi]

Abstract

Abstract is missing.