RIF Basic Logic Dialect