Paraconsistent logic as a formalism for reasoning about inconsistent knowledge bases