RIF Framework for Logic Dialects