Signature-Based Abduction for Expressive Description Logics

Patrick Koopmann; Warren Del-Pinto; Sophie Tourret; R. A. Schmidt

doi:10.24963/kr.2020/59

Signature-Based Abduction for Expressive Description Logics

Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, R. A. Schmidt

Formal Methods

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

Abstract

Signature-based abduction aims at building hypotheses over a specified set of names, the signature, that explain an observation relative to some background knowledge. This type of abduction is useful for tasks such as diagnosis, where the vocabulary used for observed symptoms differs from the vocabulary expected to explain those symptoms. We present the first complete method solving signature-based abduction for observations expressed in the expressive description logic ALC, which can include TBox and ABox axioms. The method is guaranteed to compute a finite and complete set of hypotheses, and is evaluated on a set of realistic knowledge bases.

Original language	English
Title of host publication	Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning
Editors	D. Calvanese, E. Erdem
Publisher	IJCAI Organization
Pages	592–602
Number of pages	11
DOIs	https://doi.org/10.24963/kr.2020/59
Publication status	Published - 12 Sep 2020

Access to Document

10.24963/kr.2020/59

http://www.cs.man.ac.uk/~schmidt/publications/KoopmannDelPintoEtAl20.pdf

Cite this

@inproceedings{f9eded1a69e745ea9d5d9616d3bfdfbd,

title = "Signature-Based Abduction for Expressive Description Logics",

abstract = "Signature-based abduction aims at building hypotheses over a specified set of names, the signature, that explain an observation relative to some background knowledge. This type of abduction is useful for tasks such as diagnosis, where the vocabulary used for observed symptoms differs from the vocabulary expected to explain those symptoms. We present the first complete method solving signature-based abduction for observations expressed in the expressive description logic ALC, which can include TBox and ABox axioms. The method is guaranteed to compute a finite and complete set of hypotheses, and is evaluated on a set of realistic knowledge bases.",

author = "Patrick Koopmann and Warren Del-Pinto and Sophie Tourret and Schmidt, {R. A.}",

year = "2020",

month = sep,

day = "12",

doi = "10.24963/kr.2020/59",

language = "English",

pages = "592–602",

editor = "D. Calvanese and E. Erdem",

booktitle = "Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning",

publisher = "IJCAI Organization",

address = "United States",

}

Signature-Based Abduction for Expressive Description Logics. / Koopmann, Patrick; Del-Pinto, Warren; Tourret, Sophie et al.

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. ed. / D. Calvanese; E. Erdem. IJCAI Organization, 2020. p. 592–602.

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

TY - GEN

T1 - Signature-Based Abduction for Expressive Description Logics

AU - Koopmann, Patrick

AU - Del-Pinto, Warren

AU - Tourret, Sophie

AU - Schmidt, R. A.

PY - 2020/9/12

Y1 - 2020/9/12

N2 - Signature-based abduction aims at building hypotheses over a specified set of names, the signature, that explain an observation relative to some background knowledge. This type of abduction is useful for tasks such as diagnosis, where the vocabulary used for observed symptoms differs from the vocabulary expected to explain those symptoms. We present the first complete method solving signature-based abduction for observations expressed in the expressive description logic ALC, which can include TBox and ABox axioms. The method is guaranteed to compute a finite and complete set of hypotheses, and is evaluated on a set of realistic knowledge bases.

AB - Signature-based abduction aims at building hypotheses over a specified set of names, the signature, that explain an observation relative to some background knowledge. This type of abduction is useful for tasks such as diagnosis, where the vocabulary used for observed symptoms differs from the vocabulary expected to explain those symptoms. We present the first complete method solving signature-based abduction for observations expressed in the expressive description logic ALC, which can include TBox and ABox axioms. The method is guaranteed to compute a finite and complete set of hypotheses, and is evaluated on a set of realistic knowledge bases.

U2 - 10.24963/kr.2020/59

DO - 10.24963/kr.2020/59

M3 - Conference contribution

SP - 592

EP - 602

BT - Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning

A2 - Calvanese, D.

A2 - Erdem, E.

PB - IJCAI Organization

ER -

Signature-Based Abduction for Expressive Description Logics

Abstract

Access to Document

Fingerprint

Cite this