umu.sePublications
Change search
Link to record
Permanent link

Direct link
BETA
Publications (9 of 9) Show all publications
Minock, M. (2017). COVER: Covering the Semantically Tractable Question. In: Proceedings of the Software Demonstrations of the 15th Conference of the European Chapter of the Association for Computational Linguistics (EACL), 2017: Demonstration session. Paper presented at 15th Conference of the European Chapter of the Association for Computational Linguistics (EACL), April 3-7, 2017 Valencia, Spain (pp. 1-4).
Open this publication in new window or tab >>COVER: Covering the Semantically Tractable Question
2017 (English)In: Proceedings of the Software Demonstrations of the 15th Conference of the European Chapter of the Association for Computational Linguistics (EACL), 2017: Demonstration session, 2017, p. 1-4Conference paper, Published paper (Refereed)
Abstract [en]

In semantic parsing, natural language questions map to meaning representation language (MRL) expressions over some fixed vocabulary of predicates. To do this reliably, one must guarantee that for a wide class of natural language questions (the so called semantically tractable questions), correct interpretations are always in the mapped set of possibilities. Here we demonstrate the system COVER which significantly clarifies, revises and extends the notion of semantic tractability. COVER is written in Python and uses NLTK.

National Category
Language Technology (Computational Linguistics)
Research subject
Computer Science
Identifiers
urn:nbn:se:umu:diva-144609 (URN)978-1-945626-36-4 (ISBN)
Conference
15th Conference of the European Chapter of the Association for Computational Linguistics (EACL), April 3-7, 2017 Valencia, Spain
Available from: 2018-02-07 Created: 2018-02-07 Last updated: 2018-06-09Bibliographically approved
Minock, M. (2017). Evaluating an Automata Approach to Query Containment. In: Frank Drewes (Ed.), Proceedings of the 13th International Conference on Finite State Methods and Natural Language Processing (FSMNLP): . Paper presented at 13th International Conference on Finite State Methods and Natural Language Processing (FSMNLP), 4-6 September, Umeå (pp. 75-79).
Open this publication in new window or tab >>Evaluating an Automata Approach to Query Containment
2017 (English)In: Proceedings of the 13th International Conference on Finite State Methods and Natural Language Processing (FSMNLP) / [ed] Frank Drewes, 2017, p. 75-79Conference paper, Published paper (Refereed)
Abstract [en]

Given two queries Qsuper and Qsub, query containment is the problem of determining if Qsub(D) ⊆ Qsuper(D) for all databases D. This problem has long been explored, but to our knowledge no one has empirically evaluated a straightforward application of finite state automata to the problem. We do so here, covering the case of conjunctive queries with limited set conditions. We evaluate an implementation of our approach against straightforward implementations of both the canonical database and theorem proving approaches. Our implementation outperforms theorem proving on a natural language interface corpus over a photo/video domain. It also outperforms the canonical database implementation on single relation queries with large set conditions.

National Category
Language Technology (Computational Linguistics)
Research subject
Computer Science
Identifiers
urn:nbn:se:umu:diva-144608 (URN)
Conference
13th International Conference on Finite State Methods and Natural Language Processing (FSMNLP), 4-6 September, Umeå
Available from: 2018-02-07 Created: 2018-02-07 Last updated: 2018-06-09Bibliographically approved
Minock, M. (2016). Using HOL LIGHT to Reason over Higher-Order Meaning Representation Languages. In: : . Paper presented at The Sixth Swedish Language Technology Conference (SLTC 2016).
Open this publication in new window or tab >>Using HOL LIGHT to Reason over Higher-Order Meaning Representation Languages
2016 (English)Conference paper, Poster (with or without abstract) (Refereed)
National Category
Computer and Information Sciences
Identifiers
urn:nbn:se:umu:diva-128798 (URN)
Conference
The Sixth Swedish Language Technology Conference (SLTC 2016)
Available from: 2016-12-14 Created: 2016-12-14 Last updated: 2018-06-09
Minock, M. (2016). Using HOL Light to Reason over Second-Order MRLs. In: : . Paper presented at The Sixth Swedish Language Technology Conference (SLTC) Umeå University, 17-18 November, 2016.
Open this publication in new window or tab >>Using HOL Light to Reason over Second-Order MRLs
2016 (English)Conference paper, Poster (with or without abstract) (Refereed)
National Category
Language Technology (Computational Linguistics)
Research subject
Computer Science
Identifiers
urn:nbn:se:umu:diva-144607 (URN)
Conference
The Sixth Swedish Language Technology Conference (SLTC) Umeå University, 17-18 November, 2016
Available from: 2018-02-07 Created: 2018-02-07 Last updated: 2018-06-09Bibliographically approved
Cohen, M., Minock, M., Oskarsson, D. & Pelzer, B. (2015). Enterprise architecture with executable modelling rules: A case study at the Swedish Defence Materiel Administration. In: Persson A.,Stirna J. (Ed.), Advanced Information Systems Engineering Workshops, CAiSE 2015: . Paper presented at 27th International Conference on Advanced Information Systems Engineering (CAiSE), JUN 08-12, 2015, Stockholm, SWEDEN (pp. 339-350). Springer, 215
Open this publication in new window or tab >>Enterprise architecture with executable modelling rules: A case study at the Swedish Defence Materiel Administration
2015 (English)In: Advanced Information Systems Engineering Workshops, CAiSE 2015 / [ed] Persson A.,Stirna J., Springer, 2015, Vol. 215, p. 339-350Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Springer, 2015
Series
Lecture Notes in Business Information Processing, ISSN 1865-1348
Keywords
Enterprise architecture, Data quality, Meta-model, Semantics, Business rules, Case study
National Category
Computer Sciences
Identifiers
urn:nbn:se:umu:diva-144612 (URN)10.1007/978-3-319-19243-7_32 (DOI)978-3-319-19243-7 (ISBN)978-3-319-19242-0 (ISBN)
Conference
27th International Conference on Advanced Information Systems Engineering (CAiSE), JUN 08-12, 2015, Stockholm, SWEDEN
Available from: 2018-02-07 Created: 2018-02-07 Last updated: 2018-06-09Bibliographically approved
Cohen, M., Minock, M., Oskarsson, D. & Pelzer, B. (2015). Natural Language Specification and Violation Reporting of Business Rules over ER-modeled Databases. In: Proceedings of the 18th International Conference on Extending Database Technology, EDBT 2015: . Paper presented at 18th International Conference on Extending Database Technology, EDBT 2015, March 23-27, 2015, Brussels, Belgium (pp. 541-544). OpenProceedings.org, University of Konstanz, University Library
Open this publication in new window or tab >>Natural Language Specification and Violation Reporting of Business Rules over ER-modeled Databases
2015 (English)In: Proceedings of the 18th International Conference on Extending Database Technology, EDBT 2015, OpenProceedings.org, University of Konstanz, University Library , 2015, p. 541-544Conference paper, Published paper (Refereed)
Abstract [en]

This paper presents our work on adapting and extending natural language interface (NLI) to database technology to support the specification and violation reporting of business rules. The resulting system allows non-technical users to author and manage a rulebook in controlled natural language - serving as a single point of definition that can be compiled into SQL to generate violation reports. To achieve this we represent business rules in tuple calculus, handle negation in our query re-writing algorithms and add support for natural language reflexives (e.g. 'its', 'themselves', etc.). Our results show a large class of business rules can be captured with these extensions. Although our approach is general, we present it applied to compliance checking of regulations over a materiel capability development information system at the Swedish Defence Materiel Administration. At EDBT we will also demonstrate this work over a more generic package delivery domain. While there has been recent effort in pursuing Semantics for Business Vocabulary and Business Rules (SBVR) in the semantic web and description logic communities, to our knowledge ours is the first attempt to provide this capability for ER-modeled relational databases.

Place, publisher, year, edition, pages
OpenProceedings.org, University of Konstanz, University Library, 2015
National Category
Computer Sciences
Identifiers
urn:nbn:se:umu:diva-128796 (URN)10.5441/002/edbt.2015.53 (DOI)978-3-89318-067-7 (ISBN)
Conference
18th International Conference on Extending Database Technology, EDBT 2015, March 23-27, 2015, Brussels, Belgium
Available from: 2016-12-14 Created: 2016-12-14 Last updated: 2018-06-09Bibliographically approved
Minock, M. & Everling, N. (2015). Replication and Generalization of PRECISE. , abs/1508.01306
Open this publication in new window or tab >>Replication and Generalization of PRECISE
2015 (English)Report (Other academic)
National Category
Computer and Information Sciences
Identifiers
urn:nbn:se:umu:diva-128799 (URN)
Available from: 2016-12-14 Created: 2016-12-14 Last updated: 2018-06-09
Minock, M., Mollevik, J. & Åsander, M. (2014). Does TTS-based pedestrian navigation work?.
Open this publication in new window or tab >>Does TTS-based pedestrian navigation work?
2014 (English)Report (Other academic)
Abstract [en]

We seek to test the hypothesis that text-to-speech(TTS) navigation systems can adequately guide pedestrians to unknown destinations in an unfamiliar city. Such systems bypass screenbased, multi-modal techniques and simply speak route following instructions incrementally into the pedestrian’s ear piece. Due to errors in GPS positioning, uncertainty of user heading, poor map quality and potential communication and processing latencies, this becomes a surprisingly challenging task. In our study, subjects are led on an unknown tour on the grounds of Ume˚a University. We evaluated both a human wizard controller as well as a simple decision-tree based controller and compared them to an ideal subject that knows the route. Results give support to our hypothesis that TTS-based navigation systems can adequately guide pedestrians. That said, our experiences point toward immediate and future improvements to make such systems more effective and agreeable. All the software and data behind this work will be open sourced to encourage confirmation, replication and, ultimately, improvement upon our results. This will soon be available for public download at http://janus-system.eu.

Publisher
p. 10
National Category
Language Technology (Computational Linguistics)
Research subject
Computer Science
Identifiers
urn:nbn:se:umu:diva-144610 (URN)
Available from: 2018-02-07 Created: 2018-02-07 Last updated: 2018-06-09Bibliographically approved
Minock, M. (2014). In Pursuit of Decidable 'Logical Form'. In: : . Paper presented at The Fifth Swedish Language Technology Conference, 13-14 November 2014, Uppsala.
Open this publication in new window or tab >>In Pursuit of Decidable 'Logical Form'
2014 (English)Conference paper, Poster (with or without abstract) (Refereed)
National Category
Language Technology (Computational Linguistics)
Identifiers
urn:nbn:se:umu:diva-144606 (URN)
Conference
The Fifth Swedish Language Technology Conference, 13-14 November 2014, Uppsala
Available from: 2018-02-07 Created: 2018-02-07 Last updated: 2018-06-09Bibliographically approved
Projects
Learning Semantic Grammars over Decidable Meaning Representation Languages [2015-04953_VR]; Umeå University
Organisations
Identifiers
ORCID iD: ORCID iD iconorcid.org/0000-0001-7088-3070

Search in DiVA

Show all publications