A Natural Logic for Natural-Language Knowledge Bases

Troels Andreasen, Henrik Bulskov Styltsvig, Per Anker Jensen, Jørgen Fischer Nilsson

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Abstract

We describe a natural logic for computational reasoning with a regimented
fragment of natural language. The natural logic comes with intuitive
inference rules enabling deductions and with an internal graph representation
facilitating conceptual path finding between pairs of terms as an approach
to semantic querying. Our core natural logic proposal covers formal
ontologies and generative extensions thereof. It further provides means of
expressing general relationships between classes in an application. We discuss
extensions of the core natural logic with various conservative as well
as non-conservative constructs in order to approach scientific use of natural
language. Finally, we outline a prototype system addressing life science for
the natural logic knowledge base setup being under continuous development.
We describe a natural logic for computational reasoning with a regimented
fragment of natural language. The natural logic comes with intuitive
inference rules enabling deductions and with an internal graph representation
facilitating conceptual path finding between pairs of terms as an approach
to semantic querying. Our core natural logic proposal covers formal
ontologies and generative extensions thereof. It further provides means of
expressing general relationships between classes in an application. We discuss
extensions of the core natural logic with various conservative as well
as non-conservative constructs in order to approach scientific use of natural
language. Finally, we outline a prototype system addressing life science for
the natural logic knowledge base setup being under continuous development.
LanguageDanish
Title of host publicationPartiality and Underspecification in Information, Languages, and Knowledge
EditorsHenning Christiansen, M. Dolores Jiménez López, Roussanka Loukanova, Larry Moss
Number of pages26
Place of PublicationNewcastle upon Tyne
PublisherCambridge Scholars Publishing
Date1 Sep 2017
Pages1-26
ChapterI
ISBN (Print)978-1-4438-7947-7
StatePublished - 1 Sep 2017

Cite this

Andreasen, T., Styltsvig, H. B., Jensen, P. A., & Fischer Nilsson, J. (2017). A Natural Logic for Natural-Language Knowledge Bases. In H. Christiansen, M. D. J. López, R. Loukanova, & L. Moss (Eds.), Partiality and Underspecification in Information, Languages, and Knowledge (pp. 1-26). Newcastle upon Tyne: Cambridge Scholars Publishing.
Andreasen, Troels ; Styltsvig, Henrik Bulskov ; Jensen, Per Anker ; Fischer Nilsson, Jørgen . / A Natural Logic for Natural-Language Knowledge Bases. Partiality and Underspecification in Information, Languages, and Knowledge. editor / Henning Christiansen ; M. Dolores Jiménez López ; Roussanka Loukanova ; Larry Moss. Newcastle upon Tyne : Cambridge Scholars Publishing, 2017. pp. 1-26
@inbook{cdae8e9288244345a43b0d9dc88d02f0,
title = "A Natural Logic for Natural-Language Knowledge Bases",
abstract = "We describe a natural logic for computational reasoning with a regimentedfragment of natural language. The natural logic comes with intuitiveinference rules enabling deductions and with an internal graph representationfacilitating conceptual path finding between pairs of terms as an approachto semantic querying. Our core natural logic proposal covers formalontologies and generative extensions thereof. It further provides means ofexpressing general relationships between classes in an application. We discussextensions of the core natural logic with various conservative as wellas non-conservative constructs in order to approach scientific use of naturallanguage. Finally, we outline a prototype system addressing life science forthe natural logic knowledge base setup being under continuous development.",
author = "Troels Andreasen and Styltsvig, {Henrik Bulskov} and Jensen, {Per Anker} and {Fischer Nilsson}, J{\o}rgen",
year = "2017",
month = "9",
day = "1",
language = "Dansk",
isbn = "978-1-4438-7947-7",
pages = "1--26",
editor = "Christiansen, {Henning } and L{\'o}pez, {M. Dolores Jim{\'e}nez } and Roussanka Loukanova and Larry Moss",
booktitle = "Partiality and Underspecification in Information, Languages, and Knowledge",
publisher = "Cambridge Scholars Publishing",

}

Andreasen, T, Styltsvig, HB, Jensen, PA & Fischer Nilsson, J 2017, A Natural Logic for Natural-Language Knowledge Bases. in H Christiansen, MDJ López, R Loukanova & L Moss (eds), Partiality and Underspecification in Information, Languages, and Knowledge. Cambridge Scholars Publishing, Newcastle upon Tyne, pp. 1-26.

A Natural Logic for Natural-Language Knowledge Bases. / Andreasen, Troels; Styltsvig, Henrik Bulskov; Jensen, Per Anker; Fischer Nilsson, Jørgen .

Partiality and Underspecification in Information, Languages, and Knowledge. ed. / Henning Christiansen; M. Dolores Jiménez López; Roussanka Loukanova; Larry Moss. Newcastle upon Tyne : Cambridge Scholars Publishing, 2017. p. 1-26.

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

TY - CHAP

T1 - A Natural Logic for Natural-Language Knowledge Bases

AU - Andreasen,Troels

AU - Styltsvig,Henrik Bulskov

AU - Jensen,Per Anker

AU - Fischer Nilsson,Jørgen

PY - 2017/9/1

Y1 - 2017/9/1

N2 - We describe a natural logic for computational reasoning with a regimentedfragment of natural language. The natural logic comes with intuitiveinference rules enabling deductions and with an internal graph representationfacilitating conceptual path finding between pairs of terms as an approachto semantic querying. Our core natural logic proposal covers formalontologies and generative extensions thereof. It further provides means ofexpressing general relationships between classes in an application. We discussextensions of the core natural logic with various conservative as wellas non-conservative constructs in order to approach scientific use of naturallanguage. Finally, we outline a prototype system addressing life science forthe natural logic knowledge base setup being under continuous development.

AB - We describe a natural logic for computational reasoning with a regimentedfragment of natural language. The natural logic comes with intuitiveinference rules enabling deductions and with an internal graph representationfacilitating conceptual path finding between pairs of terms as an approachto semantic querying. Our core natural logic proposal covers formalontologies and generative extensions thereof. It further provides means ofexpressing general relationships between classes in an application. We discussextensions of the core natural logic with various conservative as wellas non-conservative constructs in order to approach scientific use of naturallanguage. Finally, we outline a prototype system addressing life science forthe natural logic knowledge base setup being under continuous development.

M3 - Bidrag til bog/antologi

SN - 978-1-4438-7947-7

SP - 1

EP - 26

BT - Partiality and Underspecification in Information, Languages, and Knowledge

PB - Cambridge Scholars Publishing

CY - Newcastle upon Tyne

ER -

Andreasen T, Styltsvig HB, Jensen PA, Fischer Nilsson J. A Natural Logic for Natural-Language Knowledge Bases. In Christiansen H, López MDJ, Loukanova R, Moss L, editors, Partiality and Underspecification in Information, Languages, and Knowledge. Newcastle upon Tyne: Cambridge Scholars Publishing. 2017. p. 1-26.