We are glad to announce release 0.3 of MonaSearch. With this release, MonaSearch has reached a level of usability which makes it interesting for the wider community.
MonaSearch is a new powerful query tool for linguistic treebanks. The query language of MonaSearch is monadic second-order logic, an extension of first-order logic capable of expressing probably all linguistically interesting queries. In order to process queries efficiently, they are compiled into tree automata. A treebank is queried by checking whether the automaton representing the query accepts the tree, for each tree.
Our experiments show that even complex queries can be executed very efficiently using tree automata. The implementation includes a graphical user interface to facilitate the composition of queries and the interaction with treebanks. It uses the tree automaton toolkit MONA.