Title: Tractable reasoning in incomplete first-order knowledge bases