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

(1)

• Evonne

Describes a project that uses

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)