A System for Conceptual Pathway Finding and Deductive Querying

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 partialorder 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.