Text this: Paraconsistent reasoning for inconsistency measurement in declarative process specifications.