Benjamin N. Grosof: SILK: Higher Level Rules with Defaults and Semantic Scalability. RR 2009: 24-25