Evonne: Interactive Proof Visualization for Description Logics (System Description)

Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Raimund Dachselt; Patrick Koopmann; Julián Méndez

doi:10.1007/978-3-031-10769-6_16

Evonne: Interactive Proof Visualization for Description Logics (System Description)

Christian Alrabbaa
, Franz Baader
, Stefan Borgwardt
, Raimund Dachselt
, Patrick Koopmann
, Julián Méndez

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

Abstract

Explanations for description logic (DL) entailments provide important support for the maintenance of large ontologies. The “justifications” usually employed for this purpose in ontology editors pinpoint the parts of the ontology responsible for a given entailment. Proofs for entailments make the intermediate reasoning steps explicit, and thus explain how a consequence can actually be derived. We present an interactive system for exploring description logic proofs, called Evonne, which visualizes proofs of consequences for ontologies written in expressive DLs. We describe the methods used for computing those proofs, together with a feature called signature-based proof condensation. Moreover, we evaluate the quality of generated proofs using real ontologies.

Original language	English
Title of host publication	Automated Reasoning
Subtitle of host publication	11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
Editors	Jasmin Blanchette, Laura Kovács, Dirk Pattinson
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	271-280
Number of pages	10
ISBN (Electronic)	9783031107696
ISBN (Print)	9783031107689
DOIs	https://doi.org/10.1007/978-3-031-10769-6_16
Publication status	Published - 2022
Externally published	Yes
Event	11th International Joint Conference on Automated Reasoning, IJCAR 2022, part of the Federated Logic Conference, FLoC 2022 - Haifa, Israel Duration: 8 Aug 2022 → 10 Aug 2022

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	13385 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	11th International Joint Conference on Automated Reasoning, IJCAR 2022, part of the Federated Logic Conference, FLoC 2022
Country/Territory	Israel
City	Haifa
Period	8/08/22 → 10/08/22

Funding

Acknowledgements. This work was supported by the German Research Foundation (DFG) in Germany’s Excellence Strategy: EXC-2068, 390729961 - Cluster of Excellence “Physics of Life” and EXC 2050/1, 390696704 - Cluster of Excellence “Centre for Tactile Internet” (CeTI) of TU Dresden, by DFG grant 389792660 as part of TRR 248 - CPEC, by the AI competence center ScaDS.AI Dresden/Leipzig, and the DFG Research Training Group QuantLA, GRK 1763.

Funders	Funder number
California Postsecondary Education Commission
Center for Evolutionary and Theoretical Immunology	GRK 1763, 389792660
Deutsche Forschungsgemeinschaft	390696704, 390729961, EXC-2068, EXC 2050/1

Access to Document

10.1007/978-3-031-10769-6_16

Persistent URL (handle)

Persistent link

Cite this

Alrabbaa, C., Baader, F., Borgwardt, S., Dachselt, R., Koopmann, P., & Méndez, J. (2022). Evonne: Interactive Proof Visualization for Description Logics (System Description). In J. Blanchette, L. Kovács, & D. Pattinson (Eds.), Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (pp. 271-280). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13385 LNAI). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-10769-6_16

Alrabbaa, Christian ; Baader, Franz ; Borgwardt, Stefan et al. / Evonne: Interactive Proof Visualization for Description Logics (System Description). Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings. editor / Jasmin Blanchette ; Laura Kovács ; Dirk Pattinson. Springer Science and Business Media Deutschland GmbH, 2022. pp. 271-280 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{bb13a80007434ed2aff7b08435140782,

title = "Evonne: Interactive Proof Visualization for Description Logics (System Description)",

abstract = "Explanations for description logic (DL) entailments provide important support for the maintenance of large ontologies. The “justifications” usually employed for this purpose in ontology editors pinpoint the parts of the ontology responsible for a given entailment. Proofs for entailments make the intermediate reasoning steps explicit, and thus explain how a consequence can actually be derived. We present an interactive system for exploring description logic proofs, called Evonne, which visualizes proofs of consequences for ontologies written in expressive DLs. We describe the methods used for computing those proofs, together with a feature called signature-based proof condensation. Moreover, we evaluate the quality of generated proofs using real ontologies.",

author = "Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Raimund Dachselt and Patrick Koopmann and Juli{\'a}n M{\'e}ndez",

year = "2022",

doi = "10.1007/978-3-031-10769-6\_16",

language = "English",

isbn = "9783031107689",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "271--280",

editor = "Jasmin Blanchette and Laura Kov{\'a}cs and Dirk Pattinson",

booktitle = "Automated Reasoning",

note = "11th International Joint Conference on Automated Reasoning, IJCAR 2022, part of the Federated Logic Conference, FLoC 2022 ; Conference date: 08-08-2022 Through 10-08-2022",

}

Alrabbaa, C, Baader, F, Borgwardt, S, Dachselt, R, Koopmann, P & Méndez, J 2022, Evonne: Interactive Proof Visualization for Description Logics (System Description). in J Blanchette, L Kovács & D Pattinson (eds), Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13385 LNAI, Springer Science and Business Media Deutschland GmbH, pp. 271-280, 11th International Joint Conference on Automated Reasoning, IJCAR 2022, part of the Federated Logic Conference, FLoC 2022, Haifa, Israel, 8/08/22. https://doi.org/10.1007/978-3-031-10769-6_16

Evonne: Interactive Proof Visualization for Description Logics (System Description). / Alrabbaa, Christian; Baader, Franz; Borgwardt, Stefan et al.
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings. ed. / Jasmin Blanchette; Laura Kovács; Dirk Pattinson. Springer Science and Business Media Deutschland GmbH, 2022. p. 271-280 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13385 LNAI).

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

TY - GEN

T1 - Evonne: Interactive Proof Visualization for Description Logics (System Description)

AU - Alrabbaa, Christian

AU - Baader, Franz

AU - Borgwardt, Stefan

AU - Dachselt, Raimund

AU - Koopmann, Patrick

AU - Méndez, Julián

PY - 2022

Y1 - 2022

N2 - Explanations for description logic (DL) entailments provide important support for the maintenance of large ontologies. The “justifications” usually employed for this purpose in ontology editors pinpoint the parts of the ontology responsible for a given entailment. Proofs for entailments make the intermediate reasoning steps explicit, and thus explain how a consequence can actually be derived. We present an interactive system for exploring description logic proofs, called Evonne, which visualizes proofs of consequences for ontologies written in expressive DLs. We describe the methods used for computing those proofs, together with a feature called signature-based proof condensation. Moreover, we evaluate the quality of generated proofs using real ontologies.

AB - Explanations for description logic (DL) entailments provide important support for the maintenance of large ontologies. The “justifications” usually employed for this purpose in ontology editors pinpoint the parts of the ontology responsible for a given entailment. Proofs for entailments make the intermediate reasoning steps explicit, and thus explain how a consequence can actually be derived. We present an interactive system for exploring description logic proofs, called Evonne, which visualizes proofs of consequences for ontologies written in expressive DLs. We describe the methods used for computing those proofs, together with a feature called signature-based proof condensation. Moreover, we evaluate the quality of generated proofs using real ontologies.

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

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

U2 - 10.1007/978-3-031-10769-6_16

DO - 10.1007/978-3-031-10769-6_16

M3 - Conference contribution

SN - 9783031107689

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 271

EP - 280

BT - Automated Reasoning

A2 - Blanchette, Jasmin

A2 - Kovács, Laura

A2 - Pattinson, Dirk

PB - Springer Science and Business Media Deutschland GmbH

T2 - 11th International Joint Conference on Automated Reasoning, IJCAR 2022, part of the Federated Logic Conference, FLoC 2022

Y2 - 8 August 2022 through 10 August 2022

ER -

Alrabbaa C, Baader F, Borgwardt S, Dachselt R, Koopmann P, Méndez J. Evonne: Interactive Proof Visualization for Description Logics (System Description). In Blanchette J, Kovács L, Pattinson D, editors, Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings. Springer Science and Business Media Deutschland GmbH. 2022. p. 271-280. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Epub 2022 Aug 1. doi: 10.1007/978-3-031-10769-6_16

Evonne: Interactive Proof Visualization for Description Logics (System Description)

Abstract

Publication series

Conference

Funding

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint