Natural logic knowledge bases and their graph form

作者：

Highlights：

• Natural logic for knowledge bases.

• The predicate logic semantics for natural logic.

• Graph representation of natural logic sentences.

• Deductive querying of natural logic knowledge bases.

• A natural logic for extended ontologies.

摘要

•Natural logic for knowledge bases.•The predicate logic semantics for natural logic.•Graph representation of natural logic sentences.•Deductive querying of natural logic knowledge bases.•A natural logic for extended ontologies.

论文关键词：Natural Logic,Knowledge management applications,Ontologies,Query,Metalogic,Bioinformatics databases

论文评审过程：Received 3 December 2018, Revised 2 December 2019, Accepted 12 August 2020, Available online 18 August 2020, Version of Record 30 September 2020.

论文官网地址：https://doi.org/10.1016/j.datak.2020.101848