Rule Representation, Interchange and Reasoning on the Web: I