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

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

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

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)

Cites Work

• FAME: an automated tool for semantic forgetting in expressive description logics
• 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
• Finding good proofs for description logic entailments using recursive quality measures
• Mechanizing Mathematical Reasoning

Cited In (1)

• Evonne

Uses Software

• ELK
• FAME
• Protege-TS

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)