Sem@ntica: A system for semantic extraction and logical querying of text corpora | IEEE Conference Publication | IEEE Xplore