Natural logic knowledge bases and their graph form

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

doi:10.1016/j.datak.2020.101848

Cited by 8 publications

(29 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Here we describe a somewhat simplified version of NaturaLog. For the currently full version we refer to [12]. Classes of not further described entities are introduced by common nouns such as cell, betacell, insulin, hormone.…”

Section: The Naturalog Natural Logicmentioning

confidence: 99%

“…NaturaLog adopts existential import, meaning that for each mentioned class C there is implicitly what in a predicate logical construal appears as the existential statement ∃xC(x), see for instance [2,11,12]. As a consequence, there is no notion of empty class in our natural logic.…”

Section: The Naturalog Natural Logicmentioning

confidence: 99%

“…This is in accord with the common default principle for scientific taxonomies and formal ontologies. We refer to [2,12] for further discussion of the rationale.…”

Section: The Naturalog Natural Logicmentioning

confidence: 99%

“…Compound modifiers may further be combined by means of logical conjunction in NaturaLog as introduced in [12].…”

Section: The Naturalog Natural Logicmentioning

confidence: 99%

“…Moreover, one can introduce relations ad libitum. The natural logic NaturaLog basically covers a fragment of predicate logic with respect to expressivity, see also [7,8,9,10,11,12]. Natural logics are further distinguished by their appealing to high level "natural" reasoning rules reminiscent of and departuring from the elementary reasoning rules known from syllogistic logic.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

A Natural Logic System for Large Knowledge Bases

Andreasen

Bulskov

Nilsson

2020

Frontiers in Artificial Intelligence and Applications

Self Cite

View full text Add to dashboard Cite

This paper describes principles and structure for a software system that implements a dialect of natural logic for knowledge bases. Natural logics are formal logics that resemble stylized natural language fragments, and whose reasoning rules reflect common-sense reasoning. Natural logics may be seen as forms of extended syllogistic logic. The paper proposes and describes realization of deductive querying functionalities using a previously specified natural logic dialect called Natura-Log. In focus here is the engineering of an inference engine employing as a key feature relational database operations. Thereby the inference steps are subjected to computation in bulk for scaling-up to large knowledge bases. Accordingly, the system eventually is to be realized as a general-purpose database application package with the database being turned logical knowledge base.

show abstract

Section: The Naturalog Natural Logicmentioning

confidence: 99%

Section: The Naturalog Natural Logicmentioning

confidence: 99%

“…This is in accord with the common default principle for scientific taxonomies and formal ontologies. We refer to [2,12] for further discussion of the rationale.…”

Section: The Naturalog Natural Logicmentioning

confidence: 99%

“…Compound modifiers may further be combined by means of logical conjunction in NaturaLog as introduced in [12].…”

Section: The Naturalog Natural Logicmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

A Natural Logic System for Large Knowledge Bases

Andreasen

Bulskov

Nilsson

2020

Frontiers in Artificial Intelligence and Applications

Self Cite

View full text Add to dashboard Cite

show abstract

On the Design of a Natural Logic System for Knowledge Bases

Andreasen

Bulskov

Nilsson

2020

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

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.

show abstract