Filters








316 Hits in 12.0 sec

Extending the TIGER query language with universal quantification [chapter]

Torsten Marek, Joakim Lundborg, Martin Volk
2008 Text Resources and Lexical Knowledge  
The query language in TIGERSearch is limited due to its lack of universal quantification.  ...  Our implementation of universal quantification relies on the view of node sets rather than single node unification. Our query tool is freely available.  ...  Extending the TIGER query language with set logic operations has been proposed and implemented in Saers (2006) , however in a different manner.  ... 
doi:10.1515/9783110211818.1.3 fatcat:yqpsobqshfgsblanzlau6eqedi

An Ambiguity Aware Treebank Search Tool [chapter]

Marcin Woliński, Andrzej Zaborowski
2012 Lecture Notes in Computer Science  
The query language is modelled after TIGER Search, but we extend the use of the negation operator to be able to use a class of universally quantified conditions in queries.  ...  The tool allows to compare the selected tree with other candidates.  ...  However, the TIGER language has subsequently been successfully extended with universal quantification [5] .  ... 
doi:10.1007/978-3-642-32790-2_10 fatcat:qtohsdz63bb23p6pxd7wihu3gm

Building And Querying Parallel Treebanks [chapter]

Martin Volk, Torsten Marek, Yvonne Samuelsson
2017 Zenodo  
This tool comes with a powerful search facility which supersedes the expressivity of previous popular treebank query engines.  ...  The alignment information was manually checked using a graphical tool that allows the annotator to view a pair of trees from parallel sentences.  ...  Acknowledgments We gratefully acknowledge financial support for the Smultron project by Granholms stiftelse, Rausings stiftelse and the University of Zurich.  ... 
doi:10.5281/zenodo.283438 fatcat:d2d3zk2fnnhljewmbybtknejhi

Querying Linguistic Treebanks with Monadic Second-Order Logic in Linear Time

Stephan Kepser
2004 Journal of Logic, Language and Information  
The query language of MonaSearch is monadic second-order logic, an extension of first-order logic capable of expressing probably all linguistically interesting queries.  ...  the University of Tübingen, funded by a grant of the German Research Council (DFG SFB 441).  ...  It also makes extending the query language with typical linguistic relations such as c-command relatively easy. For most connectives, the MONA counterpart can be taken over directly.  ... 
doi:10.1007/s10849-004-2116-8 fatcat:yjw5wt2dlja7thkd5cjlcs2sqe

Concepts as Modal Operators in Description Logics

Lukas Grätz
2018 International Workshop on Description Logics  
Motivated by the colloquial language term "glass gummy bear", an additional type of concept composition for description logics is suggested.  ...  In this semantics, the TBox axioms hold for any view, assertions in the ABox hold for the natural view (a selected world in the Kripke structure) only.  ...  The next three axioms deal with the well known predefined concepts ⊥ and . Universality (8) simply states that a concept is equivalent when used as an adjective to the universal concept .  ... 
dblp:conf/dlog/Gratz18 fatcat:f2sgcpews5gk3hkpbg7vhfmgmm

Chapter 7: Architectures and Implementations of Spatio-temporal Database Management Systems [chapter]

Martin Breunig, Can Türker, Michael H. Böhlen, Stefan Dieker, Ralf Hartmut Güting, Christian S. Jensen, Lukas Relly, Philippe Rigaux, Hans-Jörg Schek, Michel Scholl
2003 Lecture Notes in Computer Science  
Managing spatio-temporal data requires providing spatiotemporal data types and operations, extensions to the query and data manipulation language, and index support for spatio-temporal data.  ...  Thereafter, the prototype systems Concert, Secondo, Dedale, Tiger, and GeoToolKit are presented.  ...  However it can also be extended for spatio-temporal data access, as can be seen with the query language STSQL [15] .  ... 
doi:10.1007/978-3-540-45081-8_7 fatcat:232ihvkrzrcrtgv3yo7afbql4e

Bridging the gap between OWL and relational databases

Boris Motik, Ian Horrocks, Ulrike Sattler
2009 Journal of Web Semantics  
queries.  ...  Therefore, we propose an extension of OWL with ICs that captures the intuition behind ICs in relational databases.  ...  Extending logic-based KR formalisms with database-like ICs has already been considered in the literature.  ... 
doi:10.1016/j.websem.2009.02.001 fatcat:om3h2lz7kneaxazuapblg7ru5q

Bridging the gap between OWL and relational databases

Boris Motik, Ian Horrocks, Ulrike Sattler
2007 Proceedings of the 16th international conference on World Wide Web - WWW '07  
queries.  ...  Therefore, we propose an extension of OWL with ICs that captures the intuition behind ICs in relational databases.  ...  Extending logic-based KR formalisms with database-like ICs has already been considered in the literature.  ... 
doi:10.1145/1242572.1242681 dblp:conf/www/MotikHS07 fatcat:s2joyrpis5ezvorm23kgck66xy

Forty years of working with corpora: from Ibsen to Twitter, and beyond

Knut Hofland, Paul Meurer, Andrew Salway
2013 Bergen Language and Linguistics Studies  
We provide an overview of forty years of work with language corpora by the research group that started in 1972 as the Norwegian Computing Centre for the Humanities.  ...  Current activities are also described, with a focus on corpus analysis tools, treebanks and social media analysis.  ...  Acknowledgements It is with great pleasure that we acknowledge the people, including some long--standing collaborators, who made significant contributions to the work described in this paper: Gisle Andersen  ... 
doi:10.15845/bells.v3i1.371 fatcat:b4273ihrdfdu3b3fce2ln2vob4

Promoting Metalinguistic and Metamathematical Reasoning in Proof-Oriented Mathematics Courses: a Method and a Framework

Paul Christian Dawkins, Kyeong Hah Roh
2016 International Journal of Research in Undergraduate Mathematics Education  
In each case, we highlight the use of analogies as a method of helping students apprehend a problem of mathematical language, reference, or inference and discuss possible solutions.  ...  appear as explicit components of the content of undergraduate courses.  ...  The success of the metaphor depended upon portraying the set of tigers (functions) as an inexhaustible space over which the statements were quantified, consistent with mathematical interpretations of quantification  ... 
doi:10.1007/s40753-016-0027-0 fatcat:ofscp55g7fet5av2tz363rvxv4

Generic language and judgements about category membership: Can generics highlight properties as central?

Michelle A. Hollander, Susan A. Gelman, Lakshmi Raman
2009 Language and Cognitive Processes  
Many languages distinguish generic utterances (e.g., "Tigers are ferocious") from non-generic utterances (e.g., "Those tigers are ferocious").  ...  Participants were asked to endorse an extension of the label taught to a novel animal matching the target instance on either overall similarity or the mentioned property.  ...  We are grateful to the children, parents, and teachers of the University of Michigan Children's Center and the University of Michigan Center for Working Families, for participating in the research.  ... 
doi:10.1080/01690960802223485 pmid:25620828 pmcid:PMC4301437 fatcat:x2foxgtr4bhbtpch43oe7ickde

A Model for Fine-Grained Alignment of Multilingual Texts

Lea Cyrus, Hendrik Feddes
2004 arXiv   pre-print
The model is currently used in a recently initiated project of a parallel English-German treebank (FuSe), which can in principle be extended with additional languages.  ...  The model is based on predicate-argument structures and thus covers the middle ground between sentence and word alignment.  ...  querying the corpus.  ... 
arXiv:cs/0409008v1 fatcat:p6dhukjdvvbzti6lltsgdxixte

PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner

Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Mark Kaminski, Ian Horrocks
2015 The Journal of Artificial Intelligence Research  
languages that can be captured by rules allowing for existential quantification and disjunction in the head; our only assumption is the availability of a datalog reasoner and a fully-fledged reasoner  ...  Query answering is, however, computationally very expensive, which has led to the development of query answering procedures that sacrifice either expressive power of the ontology language, or the completeness  ...  Acknowledgments This is an extended version of the papers 'Pay-As-You-Go OWL Query Answering Using a Triple Store' published at AAAI 2014, and 'Complete Query Answering over Horn Ontologies Using a Triple  ... 
doi:10.1613/jair.4757 fatcat:spe5shdunzhnlnkncsgvfvahvm

A General Framework for Representing, Reasoning and Querying with Annotated Semantic Web Data [article]

Antoine Zimmermann, Nuno Lopes, Axel Polleres, Umberto Straccia
2011 arXiv   pre-print
We formalise the annotated language, the corresponding deductive system and address the query answering problem.  ...  with the formal definitions of their semantics.  ...  Acknowledgement We would like to thank Gergely Lukácsy for his participation in the development of this report.  ... 
arXiv:1103.1255v1 fatcat:liws4y6ex5crreyjjhzlxunzai

Formal Ontologies in Biomedical Knowledge Representation

L. Jansen, S. Schulz
2013 IMIA Yearbook of Medical Informatics  
We argue that the task of formal ontologies is solely to represent universal statements, while the non-ontological kinds of statements can nevertheless be connected with ontological representations.  ...  Description logics based ontology languages like OWL-DL carry a clear-cut semantics, but they are computationally expensive, and they are often misinterpreted to encode all kinds of statements, including  ...  Acknowledgements Research for this paper has been supported for both authors by the German Research Agency (DFG) under the auspices of the project Good Ontology Design (GoodOD), JA 1904/2-1, SCHU 2515/  ... 
doi:10.1055/s-0038-1638845 fatcat:7v3wlgogcnf5nawigdd5cueddu
« Previous Showing results 1 — 15 out of 316 results