Text this: Comparison of SAT-Based and ASP-Based Algorithms for Inconsistency Measurement.