{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,22]],"date-time":"2024-04-22T09:18:08Z","timestamp":1713777488647},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,5,28]],"date-time":"2009-05-28T00:00:00Z","timestamp":1243468800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2010,1]]},"DOI":"10.1007\/s10849-009-9086-9","type":"journal-article","created":{"date-parts":[[2009,5,27]],"date-time":"2009-05-27T20:14:54Z","timestamp":1243455294000},"page":"53-73","source":"Crossref","is-referenced-by-count":4,"title":["Querying Linguistic Trees"],"prefix":"10.1007","volume":"19","author":[{"given":"Catherine","family":"Lai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Bird","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,5,28]]},"reference":[{"key":"9086_CR1","unstructured":"Afanasiev, L. (2003). XML query evaluation via CTL model checking. Master\u2019s thesis, University of Amsterdam, ILLC Scientific Publications, MoL-2003-07."},{"issue":"3","key":"9086_CR2","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1093\/jigpal\/8.3.325","volume":"8","author":"N. Alechina","year":"2000","unstructured":"Alechina N., Immerman N. (2000) Reachability logic: An efficient fragment of transitive closure logic. Logic Journal of the IGPL 8(3): 325\u2013337","journal-title":"Logic Journal of the IGPL"},{"key":"9086_CR3","unstructured":"Berwick, R. C., & Weinberg, A. S. (1984). The grammatical basis of linguistic performance: Language use and acquisition, Vol. 11 of Current studies in linguistics. Cambridge, Mass: MIT Press."},{"key":"9086_CR4","doi-asserted-by":"crossref","unstructured":"Bird, S., Chen, Y., Davidson, S., Lee, H., & Zheng, Y. (2006). Designing and evaluating an XPath dialect for linguistic queries. In 22nd International Conference on Data Engineering (ICDE) (pp. 52\u201361).","DOI":"10.1109\/ICDE.2006.48"},{"key":"9086_CR5","unstructured":"Bird, S., Klein, E., & Loper, E. (2009). Natural language processing with Python. O\u2019Reilly Media Inc. http:\/\/www.nltk.org\/ ."},{"key":"9086_CR6","unstructured":"Bird, S., & Lee, H. (2007). Graphical query for linguistic treebanks. In 10th Conference of the Pacific Association for Computational Linguistics (pp. 22\u201330)."},{"key":"9086_CR7","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/S0167-6393(00)00068-6","volume":"33","author":"S. Bird","year":"2001","unstructured":"Bird S., Liberman M. (2001) A formal framework for linguistic annotation. Speech Communication 33: 23\u201360","journal-title":"Speech Communication"},{"key":"9086_CR8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn P., de Rijke M., Venema Y. (2001) Modal logic. Cambridge University Press., New York, NY, USA"},{"key":"9086_CR9","doi-asserted-by":"crossref","unstructured":"Blackburn, P., Meyer-Viol, W., & de Rijke, M. (1996). A proof system for finite trees. In H. K. B\u00fcning, (Ed.), Computer science logic, Vol. 1092 of Lecture Notes in Computer Science (pp. 86\u2013105). Springer.","DOI":"10.1007\/3-540-61377-3_33"},{"key":"9086_CR10","unstructured":"Cassidy, S. (2002). XQuery as an annotation query language: A use case analysis. In Proceedings of LREC 2002, Las Palmas, Spain, May."},{"key":"9086_CR11","unstructured":"Cassidy, S., & Bird, S. (2000). Querying databases of annotated speech. In Database technologies: Proceedings of the Eleventh Australasian Database Conference (pp. 12\u201320)."},{"key":"9086_CR12","volume-title":"Lectures on government and binding","author":"N. Chomsky","year":"1981","unstructured":"Chomsky N. (1981) Lectures on government and binding. Foris, Dordrecht"},{"key":"9086_CR13","unstructured":"Clark, J., & DeRose, S. (1999). XML Path language (XPath). W3C. http:\/\/www.w3.org\/TR\/xpath"},{"key":"9086_CR14","doi-asserted-by":"crossref","unstructured":"Gottlob, G., Koch, C., & Pichler, R. (2003). The complexity of XPath query evaluation. In Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS (pp. 179\u2013190). San Diego, CA, USA.","DOI":"10.1145\/773153.773171"},{"key":"9086_CR15","doi-asserted-by":"crossref","unstructured":"Gottlob, G., Koch, C., & Schulz, K. U. (2004). Conjunctive queries over trees. In Proceedings of the Twenty-Third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (pp. 189\u2013200). Paris, France.","DOI":"10.1145\/1055558.1055585"},{"key":"9086_CR16","unstructured":"Harel, D., Kozen, D., & Tiuryn, J. (2002). Dynamic logic. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (Vol 4., 2nd ed., pp. 99\u2013217). Dordrecht: Kluwer Academic Publishers."},{"key":"9086_CR17","unstructured":"Heid, U., Voormann, H., Milde, J.-T., Gut, U., Erk, K., & Pado, S. (2004). Querying both time-aligned and hierarchical corpora with NXT Search. In Fourth Language Resources and Evaluation Conference, Lisbon, Portugal."},{"key":"9086_CR18","doi-asserted-by":"crossref","unstructured":"Henriksen, J., Jensen, J., J\u00f8rgensen, M., Klarlund, N., Paige, B., Rauhe, T., & Sandholm, A. (1995). Mona: Monadic second-order logic in practice. In Tools and Algorithms for the Construction and Analysis of Systems, First International Workshop, TACAS \u201995, LNCS 1019.","DOI":"10.1007\/3-540-60630-0_5"},{"key":"9086_CR19","unstructured":"Hinrichs, E. W., Bartels, J., Kawata, Y., & Kordoni, V. (2000). The VERBMOBIL treebanks. In KONVENS 2000 Sprachkommunikation, ITG-Fachbericht 161 (pp. 107\u2013112)."},{"key":"9086_CR20","unstructured":"Hoeksema, J. & Janda, R. D. (1988). Implications of process-morphology for categorial grammar. In R. T. Oehrle, E. Bach, & D. Wheeler (Eds.), Categorial grammars and natural language structures. Dordrecht: D. Reidel."},{"key":"9086_CR21","unstructured":"Kamp, J. (1968). Tense logic and the theory of order. Ph.D. thesis, University of California, Los Angeles."},{"key":"9086_CR22","doi-asserted-by":"crossref","unstructured":"Kepser, S. (2003). Finite structure query: A tool for querying syntactically annotated corpora. In EACL 2003: The 10th Conference of the European Chapter of the Association for Computational Linguistics (pp. 179\u2013186).","DOI":"10.3115\/1067807.1067832"},{"key":"9086_CR23","unstructured":"Kepser, S. (2006). Properties of binary transitive closure logic over trees. In P. Monachesi, G. Penn, G. Satta, & S. Wintner (Eds.), Formal grammar 2006 (pp. 77\u201389). CSLI Publications."},{"key":"9086_CR24","unstructured":"K\u00f6nig, E. & Lezius, W. (2001). The TIGER language \u2013 A description language for syntax graphs. Part 1: User\u2019s guidelines. Technical report, University of Stuttgart, Stuttgart, Germany."},{"key":"9086_CR25","unstructured":"Kracht, M. (1997). Inessential features, Vol. 1328 of Lecture Notes in Artificial Intelligence (pp. 43\u201362). Berlin: Springer."},{"key":"9086_CR26","unstructured":"Lai, C. (2005). A formal framework for linguistic tree query. Master\u2019s thesis, Department of Computer Science and Software Engineering, University of Melbourne, Australia."},{"key":"9086_CR27","unstructured":"Lai, C., & Bird, S. (2004). Querying and updating treebanks: A critical survey and requirements analysis. In Proceedings of the Australasian Language Technology Workshop (pp. 139\u2013146)."},{"key":"9086_CR28","volume-title":"Elements of finite model theory","author":"L. Libkin","year":"1998","unstructured":"Libkin L. (1998) Elements of finite model theory. Springer-Verlag, Berlin"},{"issue":"2","key":"9086_CR29","first-page":"313","volume":"19","author":"M.P. Marcus","year":"1994","unstructured":"Marcus M.P., Santorini B., Marcinkiewicz M.A. (1994) Building a large annotated corpus of English: The Penn Treebank. Computational Linguistics 19(2): 313\u2013330","journal-title":"Computational Linguistics"},{"issue":"4","key":"9086_CR30","doi-asserted-by":"crossref","first-page":"929","DOI":"10.1145\/1114244.1114247","volume":"30","author":"M. Marx","year":"2005","unstructured":"Marx M. (2005) Conditional XPath. ACM Transactions on Database Systems 30(4): 929\u2013959","journal-title":"ACM Transactions on Database Systems"},{"key":"9086_CR31","doi-asserted-by":"crossref","unstructured":"Marx, M. (2005b). First order paths in ordered trees. In T. Eiter & L. Libkin (Eds.), Database theory \u2013 ICDT 2005, 10th International Conference, Edinburgh, UK, January 5\u20137, 2005. Proceedings, Vol. 3363 of Lecture Notes in Computer Science (pp. 114\u2013128).","DOI":"10.1007\/978-3-540-30570-5_8"},{"key":"9086_CR32","unstructured":"Marx, M., & de Rijke, M. (2004). Semantic characterization of navigational XPath. In Proceedings of TDM\u201904 Workshop on XML Databases and Information Retrieval. The Netherlands: Twente."},{"key":"9086_CR33","unstructured":"Maryns, H., & Kepser, S. (2008). MonaSearch \u2013 A tool for querying linguistic treebanks. http:\/\/tcl.sfs.uni-tuebingen.de\/MonaSearch\/ ."},{"key":"9086_CR34","unstructured":"M\u00f6nnich, U., Morawietz, F., & Kepser, S. (2001). A regular query for context-sensitive relations. In IRCS Workshop on Linguistic Databases 2001 (pp. 187\u2013195)."},{"key":"9086_CR35","unstructured":"Palm, A. (1999). Propositional tense logic for trees. In Proceedings of the Sixth Meeting on Mathematics of Language: MOL6. University of Central Florida, Orlando, Florida."},{"key":"9086_CR36","unstructured":"Randall, B. (2008). CorpusSearch 2 users guide. http:\/\/corpussearch.sourceforge.net\/CS-manual\/Contents.html ."},{"key":"9086_CR37","unstructured":"Rogers, J. (1994). Studies in the logic of trees with applications to grammar formalisms. Technical Report 95-04, Department of Computer & Information Sciences, University of Delaware, Newark, Delaware."},{"key":"9086_CR38","unstructured":"Rohde, D. (2001). TGrep2 user manual. http:\/\/tedlab.mit.edu\/dr\/Tgrep2\/tgrep2.pdf ."},{"key":"9086_CR39","doi-asserted-by":"crossref","unstructured":"Schlingloff, B.H. (1992). On the expressive power of modal logics on trees. In Proceedings of the Second International Symposium on Logical Foundations of Computer Science, Springer LNCS 620 (pp. 441\u2013451).","DOI":"10.1007\/BFb0023896"},{"issue":"3","key":"9086_CR40","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/BF00630917","volume":"8","author":"S.M. Shieber","year":"1985","unstructured":"Shieber S.M. (1985) Evidence against the context-freeness of natural language. Linguistics and Philosophy 8(3): 333\u2013343","journal-title":"Linguistics and Philosophy"},{"key":"9086_CR41","unstructured":"Steiner, I., & Kallmeyer, L. (2002). VIQTORYA \u2013 A visual query tool for syntactically annotated corpora. In Proceedings of the Third International Conference on Language Resources and Evaluation (LREC 2002) (pp. 1704\u20131711), ELRA."},{"issue":"2","key":"9086_CR42","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/s10849-007-9052-3","volume":"17","author":"H.J. Tiede","year":"2008","unstructured":"Tiede H.J. (2008) Inessential features, ineliminable features, and modal logics for model theoretic syntax. Journal of Logic, Language and Information 17(2): 217\u2013227","journal-title":"Journal of Logic, Language and Information"},{"key":"9086_CR43","first-page":"189","volume":"165","author":"H.J. Tiede","year":"2006","unstructured":"Tiede H.J., Kepser S. (2006) Monadic second-order logic and transitive closure logics over trees. Electronic Notes in Theoretical Computer Science 165: 189\u2013199","journal-title":"Monadic second-order logic and transitive closure logics over trees. Electronic Notes in Theoretical Computer Science"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-009-9086-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-009-9086-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-009-9086-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T02:31:02Z","timestamp":1559269862000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-009-9086-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5,28]]},"references-count":43,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,1]]}},"alternative-id":["9086"],"URL":"https:\/\/doi.org\/10.1007\/s10849-009-9086-9","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,5,28]]}}}