An assessment of tools for building large KB systems