The RatioLog Project: Rational Extensions of Logical Reasoning