Reasoning across ontologically distinct levels