About

Log in?

DTU users get better search results including licensed content and discounts on order fees.

Anyone can log in and get personalized features such as favorites, tags and feeds.

Log in as DTU user Log in as non-DTU user No thanks

DTU Findit

Conference paper · Book chapter

On the Design of a Natural Logic System for Knowledge Bases

From

Roskilde University1

Department of Applied Mathematics and Computer Science, Technical University of Denmark2

Algorithms and Logic, Department of Applied Mathematics and Computer Science, Technical University of Denmark3

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.

Language: English
Publisher: Springer
Year: 2020
Pages: 413-421
Proceedings: 25<sup>th</sup> International Symposium on Methodologies for Intelligent Systems
Series: Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Journal subtitle: 25th International Symposium, Ismis 2020, Graz, Austria, September 23–25, 2020, Proceedings
ISBN: 3030594904 , 3030594912 , 9783030594909 and 9783030594916
ISSN: 03029743 and 16113349
Types: Conference paper and Book chapter
DOI: 10.1007/978-3-030-59491-6_39
ORCIDs: Nilsson, Jørgen Fischer

DTU users get better search results including licensed content and discounts on order fees.

Log in as DTU user

Access

Analysis