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

DOI10.1007/978-3-031-10769-6_16MaRDI QIDQ2104515zbMATH OpenOpenAlexFDO

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

Publication date 7 December 2022

Copyright license Creative Commons Attribution 4.0 International

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)

Cites work

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

Cited in

(7)

• Representation, verification, and visualization of Tarskian interpretations for typed first-order logic
• Involving cognitive science in model transformation for description logics
• The concrete \textsc{Evonne}: visualization meets concrete domain reasoning
• Explaining reasoning results for description logic ontologies (invited paper)
• Small term reachability and related problems for terminating term rewriting systems
• Evonne
• On the complexity of the small term reachability problem for terminating term rewriting systems

Describes a project that uses

Uses Software

• Protege-TS
• FAME
• ELK

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104515)