On the Design of a Natural Logic System for Knowledge Bases

Troels Andreasen*, Henrik Bulskov, Jørgen Fischer Nilsson

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

62 Downloads (Pure)


Natural logics are logics that take form of stylized natural language sentences within a selected fragment of natural language. Natural Logics are at the same time formal logics with a well-defined syntax and semantics. Therefore, natural logics may be advanced as knowledge base logics enhancing explainability of query answers. This paper is concerned with a natural logic, NaturaLog, having been proposed as a deductive knowledge base language. The paper briefly reviews and brings together in compact form the main points in our previously but separately published design proposals, systems functionalities and implementation principles.

Original languageEnglish
Title of host publicationFoundations of Intelligent Systems
EditorsDenis Helic, Martin Stettinger, Alexander Felfernig, Gerhard Leitner, Zbigniew W. Ras
Publication date2020
ISBN (Print)9783030594909
Publication statusPublished - 2020
Event25th International Symposium on Methodologies for Intelligent Systems - Graz, Austria
Duration: 23 Sept 202025 Sept 2020
Conference number: 25


Conference25th International Symposium on Methodologies for Intelligent Systems
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12117 LNAI


  • Deductive querying
  • Knowledge base systems
  • Life science applications
  • Natural logic


Dive into the research topics of 'On the Design of a Natural Logic System for Knowledge Bases'. Together they form a unique fingerprint.

Cite this