Why Not? Explaining Missing Entailments with Evee

Christian Alrabbaa; Stefan Borgwardt; Tom Friese; Patrick Koopmann; Mikhail Kotlov

Why Not? Explaining Missing Entailments with Evee

Christian Alrabbaa^*
, Stefan Borgwardt
, Tom Friese
, Patrick Koopmann
, Mikhail Kotlov

^*Corresponding author for this work

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

Abstract

Understanding logical entailments derived by a description logic reasoner is not always straight-forward for ontology users. For this reason, various methods for explaining entailments using justifications and proofs have been developed and implemented as plug-ins for the ontology editor Protégé. However, when the user expects a missing consequence to hold, it is equally important to explain why it does not follow from the ontology. In this paper, we describe a new version of Evee, a Protégé plugin that now also provides explanations for missing consequences, via existing and new techniques based on abduction and counterexamples.

Original language	English
Title of host publication	DL 2023 Description Logics 2023
Subtitle of host publication	Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023). Rhodes, Greece, September 2-4, 2023
Editors	Oliver Kutz, Carsten Lutz, Ana Ozaki
Publisher	CEUR Workshop Proceedings
Pages	1-13
Number of pages	13
Publication status	Published - 2023
Event	36th International Workshop on Description Logics, DL 2023 - Rhodes, Greece Duration: 2 Sept 2023 → 4 Sept 2023

Publication series

Name	CEUR Workshop Proceedings
Publisher	CEUR Workshop Proceedings
Volume	3515
ISSN (Print)	1613-0073

Conference

Conference	36th International Workshop on Description Logics, DL 2023
Country/Territory	Greece
City	Rhodes
Period	2/09/23 → 4/09/23

Bibliographical note

Funding Information:
This work was supported by DFG grant 389792660 as part of TRR 248 – CPEC (see https: //perspicuous-computing.science).

Publisher Copyright:
© 2023 Copyright for this paper by its authors.

Funding

This work was supported by DFG grant 389792660 as part of TRR 248 – CPEC (see https: //perspicuous-computing.science).

Keywords

Abduction
Counterexamples
Explanations
Protégé plugin

Access to Document

https://ceur-ws.org/Vol-3515/paper-1.pdf

Persistent URL (handle)

Persistent link

Cite this

Alrabbaa, C., Borgwardt, S., Friese, T., Koopmann, P., & Kotlov, M. (2023). Why Not? Explaining Missing Entailments with Evee. In O. Kutz, C. Lutz, & A. Ozaki (Eds.), DL 2023 Description Logics 2023: Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023). Rhodes, Greece, September 2-4, 2023 (pp. 1-13). (CEUR Workshop Proceedings; Vol. 3515). CEUR Workshop Proceedings. https://ceur-ws.org/Vol-3515/paper-1.pdf

Alrabbaa, Christian ; Borgwardt, Stefan ; Friese, Tom et al. / Why Not? Explaining Missing Entailments with Evee. DL 2023 Description Logics 2023: Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023). Rhodes, Greece, September 2-4, 2023. editor / Oliver Kutz ; Carsten Lutz ; Ana Ozaki. CEUR Workshop Proceedings, 2023. pp. 1-13 (CEUR Workshop Proceedings).

@inproceedings{cc3c4120d725426f83155ec2aa20dd98,

title = "Why Not? Explaining Missing Entailments with Evee",

abstract = "Understanding logical entailments derived by a description logic reasoner is not always straight-forward for ontology users. For this reason, various methods for explaining entailments using justifications and proofs have been developed and implemented as plug-ins for the ontology editor Prot{\'e}g{\'e}. However, when the user expects a missing consequence to hold, it is equally important to explain why it does not follow from the ontology. In this paper, we describe a new version of Evee, a Prot{\'e}g{\'e} plugin that now also provides explanations for missing consequences, via existing and new techniques based on abduction and counterexamples.",

keywords = "Abduction, Counterexamples, Explanations, Prot{\'e}g{\'e} plugin",

author = "Christian Alrabbaa and Stefan Borgwardt and Tom Friese and Patrick Koopmann and Mikhail Kotlov",

note = "Funding Information: This work was supported by DFG grant 389792660 as part of TRR 248 – CPEC (see https: //perspicuous-computing.science). Publisher Copyright: {\textcopyright} 2023 Copyright for this paper by its authors.; 36th International Workshop on Description Logics, DL 2023 ; Conference date: 02-09-2023 Through 04-09-2023",

year = "2023",

language = "English",

series = "CEUR Workshop Proceedings",

publisher = "CEUR Workshop Proceedings",

pages = "1--13",

editor = "Oliver Kutz and Carsten Lutz and Ana Ozaki",

booktitle = "DL 2023 Description Logics 2023",

address = "Germany",

}

Alrabbaa, C, Borgwardt, S, Friese, T, Koopmann, P & Kotlov, M 2023, Why Not? Explaining Missing Entailments with Evee. in O Kutz, C Lutz & A Ozaki (eds), DL 2023 Description Logics 2023: Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023). Rhodes, Greece, September 2-4, 2023. CEUR Workshop Proceedings, vol. 3515, CEUR Workshop Proceedings, pp. 1-13, 36th International Workshop on Description Logics, DL 2023, Rhodes, Greece, 2/09/23. <https://ceur-ws.org/Vol-3515/paper-1.pdf>

Why Not? Explaining Missing Entailments with Evee. / Alrabbaa, Christian; Borgwardt, Stefan; Friese, Tom et al.
DL 2023 Description Logics 2023: Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023). Rhodes, Greece, September 2-4, 2023. ed. / Oliver Kutz; Carsten Lutz; Ana Ozaki. CEUR Workshop Proceedings, 2023. p. 1-13 (CEUR Workshop Proceedings; Vol. 3515).

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

TY - GEN

T1 - Why Not? Explaining Missing Entailments with Evee

AU - Alrabbaa, Christian

AU - Borgwardt, Stefan

AU - Friese, Tom

AU - Koopmann, Patrick

AU - Kotlov, Mikhail

N1 - Funding Information: This work was supported by DFG grant 389792660 as part of TRR 248 – CPEC (see https: //perspicuous-computing.science). Publisher Copyright: © 2023 Copyright for this paper by its authors.

PY - 2023

Y1 - 2023

N2 - Understanding logical entailments derived by a description logic reasoner is not always straight-forward for ontology users. For this reason, various methods for explaining entailments using justifications and proofs have been developed and implemented as plug-ins for the ontology editor Protégé. However, when the user expects a missing consequence to hold, it is equally important to explain why it does not follow from the ontology. In this paper, we describe a new version of Evee, a Protégé plugin that now also provides explanations for missing consequences, via existing and new techniques based on abduction and counterexamples.

AB - Understanding logical entailments derived by a description logic reasoner is not always straight-forward for ontology users. For this reason, various methods for explaining entailments using justifications and proofs have been developed and implemented as plug-ins for the ontology editor Protégé. However, when the user expects a missing consequence to hold, it is equally important to explain why it does not follow from the ontology. In this paper, we describe a new version of Evee, a Protégé plugin that now also provides explanations for missing consequences, via existing and new techniques based on abduction and counterexamples.

KW - Abduction

KW - Counterexamples

KW - Explanations

KW - Protégé plugin

UR - https://www.scopus.com/pages/publications/85176436418

UR - https://www.scopus.com/pages/publications/85176436418#tab=citedBy

UR - https://ceur-ws.org/Vol-3515/

M3 - Conference contribution

AN - SCOPUS:85176436418

T3 - CEUR Workshop Proceedings

SP - 1

EP - 13

BT - DL 2023 Description Logics 2023

A2 - Kutz, Oliver

A2 - Lutz, Carsten

A2 - Ozaki, Ana

PB - CEUR Workshop Proceedings

T2 - 36th International Workshop on Description Logics, DL 2023

Y2 - 2 September 2023 through 4 September 2023

ER -

Alrabbaa C, Borgwardt S, Friese T, Koopmann P, Kotlov M. Why Not? Explaining Missing Entailments with Evee. In Kutz O, Lutz C, Ozaki A, editors, DL 2023 Description Logics 2023: Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023). Rhodes, Greece, September 2-4, 2023. CEUR Workshop Proceedings. 2023. p. 1-13. (CEUR Workshop Proceedings). Epub 2023 Oct 23.

Why Not? Explaining Missing Entailments with Evee

Abstract

Publication series

Conference

Bibliographical note

Funding

Keywords

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint