Automatic Logical Inconsistency Detection in the National Bridge Inventory. (2016)