A System for Conceptual Pathway Finding and Deductive Querying

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

doi:10.1007/978-3-319-26154-6_35

A System for Conceptual Pathway Finding and Deductive Querying

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

Department of Applied Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-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.

Original language	English
Title of host publication	Proceedings of the 11th International Conference on Flexible Query Answering Systems (FQAS 2015)
Publisher	Springer
Publication date	2015
Pages	461-472
ISBN (Print)	978-3-319-26153-9
ISBN (Electronic)	978-3-319-26154-6
DOIs	https://doi.org/10.1007/978-3-319-26154-6_35
Publication status	Published - 2015
Event	11th International Conference on Flexible Query Answering Systems (FQAS 2015) - Cracow, Poland Duration: 26 Oct 2015 → 28 Oct 2015 Conference number: 11 http://fqas2015.ibspan.waw.pl/

Conference

Conference	11th International Conference on Flexible Query Answering Systems (FQAS 2015)
Number	11
Country/Territory	Poland
City	Cracow
Period	26/10/2015 → 28/10/2015
Internet address	http://fqas2015.ibspan.waw.pl/

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

Access to Document

10.1007/978-3-319-26154-6_35

OpenUrl availability

Full text

Cite this

@inproceedings{0da9141629bb4bedb70f60fe02d761e8,

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 Henrik Bulskov and Nilsson, {J{\o}rgen Fischer} and Jensen, {Per Anker}",

year = "2015",

doi = "10.1007/978-3-319-26154-6_35",

language = "English",

isbn = "978-3-319-26153-9",

series = "Advances in Intelligent Systems and Computing",

publisher = "Springer",

pages = "461--472",

booktitle = "Proceedings of the 11th International Conference on Flexible Query Answering Systems (FQAS 2015)",

note = "11th International Conference on Flexible Query Answering Systems (FQAS 2015), FQAS ; Conference date: 26-10-2015 Through 28-10-2015",

url = "http://fqas2015.ibspan.waw.pl/",

}

Andreasen, T, Bulskov, H, Nilsson, JF & Jensen, PA 2015, A System for Conceptual Pathway Finding and Deductive Querying. in Proceedings of the 11th International Conference on Flexible Query Answering Systems (FQAS 2015). Springer, Advances in Intelligent Systems and Computing, vol. 400, pp. 461-472, 11th International Conference on Flexible Query Answering Systems (FQAS 2015), Cracow, Poland, 26/10/2015. https://doi.org/10.1007/978-3-319-26154-6_35

A System for Conceptual Pathway Finding and Deductive Querying. / Andreasen, Troels; Bulskov, Henrik; Nilsson, Jørgen Fischer et al.
Proceedings of the 11th International Conference on Flexible Query Answering Systems (FQAS 2015). Springer, 2015. p. 461-472 (Advances in Intelligent Systems and Computing, Vol. 400).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - A System for Conceptual Pathway Finding and Deductive Querying

AU - Andreasen, Troels

AU - Bulskov, Henrik

AU - Nilsson, Jørgen Fischer

AU - Jensen, Per Anker

N1 - Conference code: 11

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

U2 - 10.1007/978-3-319-26154-6_35

DO - 10.1007/978-3-319-26154-6_35

M3 - Article in proceedings

SN - 978-3-319-26153-9

T3 - Advances in Intelligent Systems and Computing

SP - 461

EP - 472

BT - Proceedings of the 11th International Conference on Flexible Query Answering Systems (FQAS 2015)

PB - Springer

T2 - 11th International Conference on Flexible Query Answering Systems (FQAS 2015)

Y2 - 26 October 2015 through 28 October 2015

ER -

A System for Conceptual Pathway Finding and Deductive Querying

Abstract

Conference

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this