Abstract
We describe principles and design of a system for knowledge bases applying a natural logic. Natural logics are forms of logic which appear as stylized fragments of natural language sentences. Accordingly, such knowledge base sentences can be read and understood directly by a domain expert. The system applies a graph form computed from the input natural logic sentences. The graph form generalizes the usual partial-order ontological sub-class structures by accommodation of affirmative sentences comprising recursive phrase structures. In this paper we focus on the logical inference rules for extending the concept graph form enabling deductive querying as well as computation of pathways between the concepts mentioned in the sentences.
Original language | English |
---|---|
Title of host publication | Flexible Query Answering Systems 2015 : Proceedings of the 11th International Conference FQAS 2015, Cracow, Poland, October 26-28, 2015 |
Editors | Troels Andreasen, Henning Christiansen, Janusz Kacprzyk, Henrik Larsen, Gabriella Pasi, Olivier Pivert, Guy De Tré, Maria Amparo Vila, Adnan Yazici, Sławomir Zadrożny |
Number of pages | 12 |
Place of Publication | Cham |
Publisher | Springer Science+Business Media |
Publication date | 2016 |
Pages | 461-472 |
ISBN (Print) | 9783319261539 |
ISBN (Electronic) | 9783319261546 |
DOIs | |
Publication status | Published - 2016 |
Event | The 11th International Conference on Flexible Query Answering Systems. FQAS 2015 - Dom Polonii, Kraków, Poland Duration: 26 Oct 2015 → 28 Oct 2015 Conference number: 11 http://fqas2015.ibspan.waw.pl/ |
Conference
Conference | The 11th International Conference on Flexible Query Answering Systems. FQAS 2015 |
---|---|
Number | 11 |
Location | Dom Polonii |
Country/Territory | Poland |
City | Kraków |
Period | 26/10/2015 → 28/10/2015 |
Internet address |
Series | Advances in Intelligent Systems and Computing |
---|---|
Volume | 400 |
ISSN | 2194-5357 |
Keywords
- Deductive querying of natural-logic knowledge bases
- Path finding in knowledge bases
- Logical knowledge bases in bio-informatics and medicine