The grammatical basis of linguistic performance: language use and acquisition
The grammatical basis of linguistic performance: language use and acquisition
A formal framework for linguistic annotation
Speech Communication - Special issue on speech annotation and corpus tools
Modal logic
On the Expressive Power of Modal Logics on Trees
TVER '92 Proceedings of the Second International Symposium on Logical Foundations of Computer Science
LACL '96 Selected papers from the First International Conference on Logical Aspects of Computational Linguistics
Mona: Monadic Second-Order Logic in Practice
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
KONVENS 2000 / Sprachkommunikation, Vorträge der gemeinsamen Veranstaltung 5. Konferenz zur Verarbeitung natürlicher Sprache (KONVENS), 6. ITG-Fachtagung "Sprachkommunikation"
A Proof System for Finite Trees
CSL '95 Selected Papers from the9th International Workshop on Computer Science Logic
The complexity of XPath query evaluation
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Querying Databases of Annotated Speech
ADC '00 Proceedings of the Australasian Database Conference
Building a large annotated corpus of English: the penn treebank
Computational Linguistics - Special issue on using large corpora: II
Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series)
Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series)
Conjunctive queries over trees
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Finite structure query: a tool for querying syntactically annotated corpora
EACL '03 Proceedings of the tenth conference on European chapter of the Association for Computational Linguistics - Volume 1
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2004
Designing and Evaluating an XPath Dialect for Linguistic Queries
ICDE '06 Proceedings of the 22nd International Conference on Data Engineering
Monadic Second-Order Logic and Transitive Closure Logics over Trees
Electronic Notes in Theoretical Computer Science (ENTCS)
Inessential Features, Ineliminable Features, and Modal Logics for Model Theoretic Syntax
Journal of Logic, Language and Information
Natural Language Processing with Python
Natural Language Processing with Python
First order paths in ordered trees
ICDT'05 Proceedings of the 10th international conference on Database Theory
Fast query for large treebanks
HLT '10 Human Language Technologies: The 2010 Annual Conference of the North American Chapter of the Association for Computational Linguistics
UiO1: constituent-based discriminative ranking for negation resolution
SemEval '12 Proceedings of the First Joint Conference on Lexical and Computational Semantics - Volume 1: Proceedings of the main conference and the shared task, and Volume 2: Proceedings of the Sixth International Workshop on Semantic Evaluation
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
| Hi-index | 0.00 |
Large databases of linguistic annotations are used for testing linguistic hypotheses and for training language processing models. These linguistic annotations are often syntactic or prosodic in nature, and have a hierarchical structure. Query languages are used to select particular structures of interest, or to project out large slices of a corpus for external analysis. Existing languages suffer from a variety of problems in the areas of expressiveness, efficiency, and naturalness for linguistic query. We describe the domain of linguistic trees and discuss the expressive requirements for a query language. Then we present a language that can express a wide range of queries over these trees, and show that the language is first-order complete over trees.