syl-phillogic-dynkb.pdf