The W3C Rule Interchange Format (RIF) Working Group has published six Candidate Recommendations. Together, they allow systems using a variety of rule languages and rule-based technologies to interoperate with each other and with Semantic Web technologies.
Three of the drafts define XML formats with formal semantics for storing and transmitting rules: