A System for Conceptual Pathway Finding and Deductive Querying

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

Research output: Contribution to conferencePaperResearchpeer-review

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

Conference

ConferenceFQAS
Number11
CountryPoland
CityKrakov
Period26/10/201528/10/2015
Internet address

Keywords

    Cite this

    Andreasen, T., Styltsvig, H. B., Fischer Nilsson, J., & Jensen, P. A. (2015). A System for Conceptual Pathway Finding and Deductive Querying. Paper presented at FQAS, Krakov, Poland.
    Andreasen, Troels ; Styltsvig, Henrik Bulskov ; Fischer Nilsson, Jørgen ; Jensen, Per Anker. / A System for Conceptual Pathway Finding and Deductive Querying. Paper presented at FQAS, Krakov, Poland.12 p.
    @conference{2b6c706e373e413e83a99ebb44b3864d,
    title = "A System for Conceptual Pathway Finding and Deductive Querying",
    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.",
    keywords = "Deductive querying of natural-logic knowledge bases, Path finding in knowledge bases, Logical knowledge bases in bio-informatics and medicine",
    author = "Troels Andreasen and Styltsvig, {Henrik Bulskov} and {Fischer Nilsson}, J{\o}rgen and Jensen, {Per Anker}",
    year = "2015",
    language = "English",
    note = "null ; Conference date: 26-10-2015 Through 28-10-2015",
    url = "http://fqas2015.ibspan.waw.pl/agenda.html",

    }

    Andreasen, T, Styltsvig, HB, Fischer Nilsson, J & Jensen, PA 2015, 'A System for Conceptual Pathway Finding and Deductive Querying' Paper presented at, Krakov, Poland, 26/10/2015 - 28/10/2015, .

    A System for Conceptual Pathway Finding and Deductive Querying. / Andreasen, Troels; Styltsvig, Henrik Bulskov; Fischer Nilsson, Jørgen; Jensen, Per Anker.

    2015. Paper presented at FQAS, Krakov, Poland.

    Research output: Contribution to conferencePaperResearchpeer-review

    TY - CONF

    T1 - A System for Conceptual Pathway Finding and Deductive Querying

    AU - Andreasen,Troels

    AU - Styltsvig,Henrik Bulskov

    AU - Fischer Nilsson,Jørgen

    AU - Jensen,Per Anker

    PY - 2015

    Y1 - 2015

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

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

    KW - Deductive querying of natural-logic knowledge bases

    KW - Path finding in knowledge bases

    KW - Logical knowledge bases in bio-informatics and medicine

    M3 - Paper

    ER -

    Andreasen T, Styltsvig HB, Fischer Nilsson J, Jensen PA. A System for Conceptual Pathway Finding and Deductive Querying. 2015. Paper presented at FQAS, Krakov, Poland.