A logical approach to computational corpus linguistics
Torbjörn Lager · 1995
The purpose of this thesis is to build a corpus theory development envi-ronment – to discuss its design, use, and implementation. The proposed system is based on a logical approach to computational corpus linguistics where sentences of logic are used to express statements about texts and logical inference is used to manipulate these sentences in order to analyse the texts. The thesis demonstrates the remarkable ease with which the functionali-ties needed in a corpus system can be implemented when based upon ade-quate means of representing, querying, and reasoning. The proposed system implements hand coding, searching, concordancing, parsing, counting, tabling, collocating, automatic part-of-speech tagging, lemma-tizing, excerpting, interpreting, treebanking, explanation, and various kinds of learning. By linking all this functionality into a common representational frame-