Detecting Inconsistencies in Large Biological Networks with Answer Set Programming