Abstract
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 NaturaLog. 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.
Original language | English |
---|---|
Publication date | Jun 2020 |
Number of pages | 15 |
Publication status | Published - Jun 2020 |
Event | 30th International Conference on Informaion Modeling and Knowledge Bases - Online, Hamburg, Germany Duration: 8 Jun 2020 → 9 Jun 2020 Conference number: 30 https://ejc.informatik.haw-hamburg.de/ |
Conference
Conference | 30th International Conference on Informaion Modeling and Knowledge Bases |
---|---|
Number | 30 |
Location | Online |
Country/Territory | Germany |
City | Hamburg |
Period | 08/06/2020 → 09/06/2020 |
Other | DUE TO THE REGULATIONS REGARDING THE CORONAVIRUS PANDEMIC, EJC 2020 WILL BE TRANSFORMED INTO A VIRTUAL EVENT TAKING PLACE ON JUNE 8TH AND 9TH. |
Internet address |
Keywords
- Deductive Querying
- Large Logical Knowledge Bases
- Natural Logic
- Relational Data Base Operations