Text this: Handling and measuring inconsistency in non-monotonic logics.