Question Answering over Linked Data Using First-order Logic
Using first-order logic to compress sentences