Evonne: interactive proof visualization for description logics (system description)

DOI10.1007/978-3-031-10769-6_16OpenAlexW4289104049MaRDI QIDQ2104515

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

Publication date: 7 December 2022

Full work available at URL: https://arxiv.org/abs/2205.09583

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Evonne

Uses Software

• ELK
• FAME
• Protege-TS

Cites Work

• FAME: an automated tool for semantic forgetting in expressive description logics
• Finding good proofs for description logic entailments using recursive quality measures
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
• Forgetting Concept and Role Symbols in $\mathcal{ALCH}$ -Ontologies
• An Introduction to Description Logic
• Mechanizing Mathematical Reasoning

This page was built for publication: Evonne: interactive proof visualization for description logics (system description)