Text this: Data mining and knowledge discovery via logic-based methods