\section{RIF}
RIF is an attempt to create an interoperable rule language for the Semantic Web. It should be possible to convert a whole host of rule languages into RIF dialects, and from that into other languages. As there are many types of rule languages, not all conversions would be possible. 

