A Natural Logic for Natural-language Knowledge Bases

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

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


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.
Original languageEnglish
Title of host publicationPartiality and Underspecification in Information, Languages, and Knowledge
EditorsHenning Christiansen, M. Dolores Jiménez López, Roussanka Loukanova, Larry Moss
PublisherCambridge Scholars Press
Publication date2017
ISBN (Print)978-1-4438-7947-7
Publication statusPublished - 2017
SeriesPartiality and Underspecification in Information, Languages, and Knowledge


Dive into the research topics of 'A Natural Logic for Natural-language Knowledge Bases'. Together they form a unique fingerprint.

Cite this