Michael Kifer: KR and Reasoning on the Semantic Web: RIF. Handbook of Semantic Web Technologies 2011: 399-439