Stabilizing KnowledgeExtractor#1

Open

AdhamAbozaeid wants to merge 3 commits intoarpit7123:masterfrom

AdhamAbozaeid:master

Commits on Nov 10, 2018

Commits on Nov 12, 2018

Timeout while executing clingo process
AdhamAbozaeid
committed