A logical schema of axiom relations that can span multiple databases